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 /dives | |
| 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>
Diffstat (limited to 'dives')
0 files changed, 0 insertions, 0 deletions