diff options
author | jan Iversen <jani@libreoffice.org> | 2018-05-16 10:59:27 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-05-17 11:16:50 -0700 |
commit | 1ed8c87d6394bec8d115d1fd90bdb08e207d20eb (patch) | |
tree | c7b3befd4d099a3538cb8666d318cb76b4ff58c1 /scripts | |
parent | 6d3637fce0eae7e568845af4ad422c403c33342b (diff) | |
download | subsurface-1ed8c87d6394bec8d115d1fd90bdb08e207d20eb.tar.gz |
build-system: enhanced get-dep-lib with "single"
Added the posibility to fetch a single third lib.
Signed-off-by: Jan Iversen <jani@apache.org>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/get-dep-lib.sh | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/scripts/get-dep-lib.sh b/scripts/get-dep-lib.sh index 14a9231cb..4c9aee473 100755 --- a/scripts/get-dep-lib.sh +++ b/scripts/get-dep-lib.sh @@ -17,11 +17,16 @@ CURRENT_LIBFTDI="1.3" # deal with all the command line arguments -if [ $# -ne 2 ] ; then +if [[ $# -ne 2 && $# -ne 3 ]] ; then echo "wrong number of parameters, format:" - echo "get-dep-lib <platform> <install dir>" - echo "where platform is one of scripts, ios or android" + echo "get-dep-lib.sh <platform> <install dir>" + echo "or" + echo "get-dep-lib.sh single <install dir> <lib>" + echo "where" + echo "<platform> is one of scripts, ios or android" echo "(the name of the directory where build.sh resides)" + echo "<install dir> is the directory to clone in" + echo "<lib> is the name to be cloned" exit -1 fi @@ -42,6 +47,9 @@ case ${PLATFORM} in android) BUILD="libzip libgit2 googlemaps libxslt sqlite libxml2 openssl libftdi libusb" ;; + single) + BUILD="$3" + ;; *) echo "Unknown platform ${PLATFORM}, choose between native, ios or android" ;; |