diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-07-29 07:32:14 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-07-29 07:55:25 -0700 |
| commit | a1a833392d10e051f26b23c2100f24c27d6299b0 (patch) | |
| tree | e017ce58b858dcd0a8ac76ca4bf86ce10b2d7a4e | |
| parent | a156e562664feaa8c34b6bfa06a5f6a7f115fde0 (diff) | |
| download | subsurface-a1a833392d10e051f26b23c2100f24c27d6299b0.tar.gz | |
build.sh: don't build with WebKit unless explicitly requested
Even if WebKit may exist on Linux, by default we no longer should build against
it.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rwxr-xr-x | scripts/build.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index eb9997014..4e2442f12 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -62,11 +62,6 @@ while [[ $# -gt 0 ]] ; do shift done -# this may not be true - we should try to auto-detect this -if [ $PLATFORM = Linux ] ; then - BUILD_WITH_WEBKIT="1" -fi - # most of these will only be needed with -build-deps on a Mac CURRENT_LIBZIP="1.2.0" CURRENT_HIDAPI="hidapi-0.7.0" |