diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-09-05 08:22:50 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-09-05 17:54:09 -0700 |
| commit | 6670ea7bdb580db5630ce4176334801ef6c811d4 (patch) | |
| tree | eaf8db9d21db2afd310447a6c5902889ee436453 /scripts/linux/after_success.sh | |
| parent | 373415bb52c50316f07f3f95a8c736d8ab94b425 (diff) | |
| download | subsurface-6670ea7bdb580db5630ce4176334801ef6c811d4.tar.gz | |
build-system: add -quick flag for build.sh
With this flag we assume that we don't need to rebuild grantlee and googlemaps.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/linux/after_success.sh')
0 files changed, 0 insertions, 0 deletions