diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-01-09 08:08:59 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-01-09 20:53:26 -0800 |
| commit | 7923507e76e8d64c6c457664ec59f10c884a9fb0 (patch) | |
| tree | f9fbb4b484eb97905fb1a68131118ce1b626f3ce /core | |
| parent | 123f3ef7ec8f977c9949c3ac24008163c722e208 (diff) | |
| download | subsurface-7923507e76e8d64c6c457664ec59f10c884a9fb0.tar.gz | |
build system: try harder to checkout the right version
And actually fail a build if that doesn't work.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions