diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-01-09 14:04:40 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-09 19:29:50 -0800 |
| commit | bd26d8407f28186c9db86e96260bd51f25e07f01 (patch) | |
| tree | f195d7694847c681d2350650df6b8da5e8e7fbfc | |
| parent | b5c8d0dbb484153d9f8235b3c607e9e33e1b4603 (diff) | |
| download | subsurface-bd26d8407f28186c9db86e96260bd51f25e07f01.tar.gz | |
build.sh: recreate previous behavior with no args
When calling build.sh with no args asking for a specific build type, that
should be equivalent with calling it with the -desktop arg.
Reported-by: Salvador Cuñat <salvador.cunat@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rwxr-xr-x | scripts/build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 1c87275ae..52e30c0c9 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -133,6 +133,11 @@ while [[ $# -gt 0 ]] ; do shift done +# recreate the old default behavior - no flag set implies build desktop +if [ "$BUILD_MOBILE$BUILD_DOWNLOADER" = "" ] ; then + BUILD_DESKTOP="1" +fi + if [ "$BUILD_DEPS" = "1" ] && [ "$QUICK" = "1" ] ; then echo "Conflicting options; cannot request combine -build-deps and -quick" exit 1; |