diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-12-19 09:42:18 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-19 15:33:17 -0800 |
| commit | 6a7152bb400ef32cdf3403a29f987fac96c152d9 (patch) | |
| tree | bfad6ca4ccd0d93edd119680f22071f906a7f2ae /scripts/build.sh | |
| parent | 6e579f1c1baf98c9953c151a425e0cf5869b01d8 (diff) | |
| download | subsurface-6a7152bb400ef32cdf3403a29f987fac96c152d9.tar.gz | |
build-system: don't build googlemaps for downloader only builds
This is kind of a silly optimization, but might make a huge difference in build
time on a Raspberry Pi.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/build.sh')
| -rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 93e1121fa..fc7c62c7e 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -498,7 +498,7 @@ fi cd "$SRC" -if [ "$QUICK" != "1" ] ; then +if [ "$QUICK" != "1" ] && [ "$BUILD_DESKTOP$BUILD_MOBILE" != "" ] ; then # build the googlemaps map plugin cd "$SRC" |