diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-08-05 20:12:16 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-08-05 20:39:21 -0700 |
| commit | 35ffd5f71ee21d9f69103a1eaf1d6cef3faa1941 (patch) | |
| tree | b7fba1b57aa2094c4529c21c2210fcfca32c9093 /desktop-widgets/divelistview.h | |
| parent | 7b4d661ff2127de7adc6b46521687d178439365d (diff) | |
| download | subsurface-35ffd5f71ee21d9f69103a1eaf1d6cef3faa1941.tar.gz | |
Android: add -quick flag to build.sh
This allows us to skip all the checking / building of dependency
libraries. This also allows us to pass extra arguments to the make
command by separating them from the arguments to build.sh with '--'.
This commit is easier to understand because it didn't increase the
indent in the large block of code that is now only executed if we aren't
in 'quick' mode. That will be fixed in the next commit that is
whitespace only.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/divelistview.h')
0 files changed, 0 insertions, 0 deletions