diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-06-04 10:47:57 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-06-04 10:49:20 -0700 |
| commit | a798bb010c63e84e2c4551b2ff73435cae2b3126 (patch) | |
| tree | 821e1185b52a7fe8d70fb65a57c32150b3662479 /Documentation/images | |
| parent | 1cf31eeaf926a90853919fcbe51f5830b88d9bd3 (diff) | |
| download | subsurface-a798bb010c63e84e2c4551b2ff73435cae2b3126.tar.gz | |
Build script: make sure the versions we want to build exist
The script didn't do the right thing if it had been run before and was
re-run to create the latest build. We need to actually pull the latest
versions of the different git repositories and make sure that the branches
and commits that we want exist.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/images')
0 files changed, 0 insertions, 0 deletions