diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-07-15 21:51:42 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-07-15 21:51:42 -0700 |
| commit | 20f5609a6c1c9717ffe04d51f764f03ec95ceaa1 (patch) | |
| tree | 06f6dc73d5dde207143b743443b2237352615426 /scripts/build.sh | |
| parent | a629eb70708505bcac38afb709b1958e21e90374 (diff) | |
| download | subsurface-20f5609a6c1c9717ffe04d51f764f03ec95ceaa1.tar.gz | |
Mac build: correctly deal with no printing
Including working around a weird hack to install the Grantlee
plugins.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/build.sh')
| -rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index a2edbd8ad..72d8542b3 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -403,6 +403,8 @@ if [ "$BUILDGRANTLEE" = "1" ] ; then $SRC/grantlee make -j4 make install +else + PRINTING="-DNO_PRINTING=ON" fi |