script: get_file() fix error, which caused make-3.80 to break the script after download, because make-3.80.kaem does not exists and we have 'set -e' active...

This commit is contained in:
Bastian Bittorf 2021-01-12 16:27:34 +01:00
parent 03edaf4c8f
commit e967d2f5a9

View file

@ -99,8 +99,9 @@ get_file() {
else else
bname=$(basename "$url" ".tar.${ext}") bname=$(basename "$url" ".tar.${ext}")
fi fi
cp "${bname}.kaem" tmp/after
cp "../sources/$(basename "$url")" tmp/after [ -f "${bname}.kaem" ] && cp -v "${bname}.kaem" tmp/after
cp -v "../sources/$(basename "$url")" tmp/after
} }
# gzip 1.2.4 # gzip 1.2.4