diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-12-26 09:24:35 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-12-26 09:24:35 -0800 |
| commit | 4346aaa3333eb4ba2bd6ee0dc1976c32545d3bfb (patch) | |
| tree | 67ffeca3858cb4ec46c250514024113000907318 | |
| parent | 8e9ba7bd7a8b33637c0d030998a9649340108b73 (diff) | |
| download | subsurface-4346aaa3333eb4ba2bd6ee0dc1976c32545d3bfb.tar.gz | |
Android build: no point making the docs
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rwxr-xr-x | packaging/android/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packaging/android/build.sh b/packaging/android/build.sh index 2926187ac..0eecebf47 100755 --- a/packaging/android/build.sh +++ b/packaging/android/build.sh @@ -390,6 +390,7 @@ cmake $MOBILE_CMAKE \ -DLIBGIT2_FROM_PKGCONFIG=ON \ -DNO_PRINTING=ON \ -DNO_USERMANUAL=ON \ + -DNO_DOCS=ON \ -DFBSUPPORT=OFF \ -DCMAKE_PREFIX_PATH:UNINITIALIZED="$QT5_ANDROID_CMAKE" \ -DCMAKE_BUILD_TYPE="$BUILD_TYPE" \ |