diff options
| author |  Murillo Bernardes <mfbernardes@gmail.com> | 2018-06-16 18:27:35 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-06-17 08:25:59 +0900 |
| commit | 7d92f5f8115b53fdca918f847d863ef3701976d1 (patch) | |
| tree | ce5e751168f191bccbcc24263e4369e7e8e143a2 /gpl-2.0.txt | |
| parent | 550b6f179f10169eb674a5150e7ba357220d3c7a (diff) | |
| download | subsurface-7d92f5f8115b53fdca918f847d863ef3701976d1.tar.gz | |
build-system: avoid checkout when unneeded
Checkout only if current checked out version differs from
expected.
Signed-off-by: Murillo Bernardes <mfbernardes@gmail.com>
Diffstat (limited to 'gpl-2.0.txt')
0 files changed, 0 insertions, 0 deletions