diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-11-18 08:10:37 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-11-18 08:10:37 -0800 |
| commit | f034121beffb5c066012f325bf8f898de7968939 (patch) | |
| tree | 757a60bbd65d0fe6a3754f219548e47e2dda6d3c /scripts | |
| parent | f691593e65801b82be668f2bdf6e4ce7a03add32 (diff) | |
| download | subsurface-f034121beffb5c066012f325bf8f898de7968939.tar.gz | |
build.sh: fix comparison
This prevented googlemaps from building in some circumstances.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
| -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 ad0450a44..23b978efa 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -436,7 +436,7 @@ else PRINTING="-DNO_PRINTING=ON" fi -if [ $SKIP_GOOGLEMAPS != "1" ] ; then +if [ "$SKIP_GOOGLEMAPS" != "1" ] ; then # build the googlemaps map plugin cd $SRC |