diff options
| -rwxr-xr-x | .tools/downloadlib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.tools/downloadlib.sh b/.tools/downloadlib.sh index dd169450..ce034c89 100755 --- a/.tools/downloadlib.sh +++ b/.tools/downloadlib.sh @@ -3,9 +3,9 @@ export zipname="lib.zip" export libname="$1_$2" +rm -rf libdownload mkdir libdownload cd libdownload -rm "${zipname}" wget --retry-connrefused --retry-on-host-error --tries=10 --waitretry=5 \ -O "$zipname" \ |