diff options
author | Saulc <lucashelaine14@gmail.com> | 2020-04-25 05:26:45 +0000 |
---|---|---|
committer | Saulc <lucashelaine14@gmail.com> | 2020-04-25 05:26:45 +0000 |
commit | e35a797a6cdbbc2f258e37b8207885d6ecf59930 (patch) | |
tree | caacf6585a5d825e6fa4123aeaeb0d92eff6ebef /.tools/downloadlib.sh | |
parent | 5b944b887edeae317d8cc90bf8cb0ec937aa334c (diff) | |
download | art-e35a797a6cdbbc2f258e37b8207885d6ecf59930.tar.gz art-e35a797a6cdbbc2f258e37b8207885d6ecf59930.tar.bz2 art-e35a797a6cdbbc2f258e37b8207885d6ecf59930.tar.xz art-e35a797a6cdbbc2f258e37b8207885d6ecf59930.zip |
Delete stuff to make work easier
Diffstat (limited to '.tools/downloadlib.sh')
-rwxr-xr-x | .tools/downloadlib.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/.tools/downloadlib.sh b/.tools/downloadlib.sh deleted file mode 100755 index b9a50d73..00000000 --- a/.tools/downloadlib.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash - -export zipname="lib.zip" -export libname="$1_$2" - -mkdir libdownload -cd libdownload -rm "${zipname}" -../client-data/.tools/retry.sh wget -O "${zipname}" "https://gitlab.com/simplepackagemanager/spm/builds/artifacts/$1/download?job=${libname}" -unzip "${zipname}" -cp -r "bin/${libname}" .. -cd .. - -rm -rf /usr/local/spm/bin/${libname} -mkdir -p /usr/local/spm/bin - -cp -r libdownload/bin/${libname} /usr/local/spm/bin/ -ls /usr/local/spm/bin/${libname} -if [ "$?" != 0 ]; then - echo "Library $1 $2 unpack failed" - exit 1 -fi |