changeset 8751:5b4bd0680160

Do not die if work dir is clean. rm would fail if there were no old wsplgen archives around
author Andre Heinecke <andre.heinecke@intevation.de>
date Fri, 19 Jun 2015 17:00:32 +0200
parents 69b0a71b4845
children 1816389d5f6c
files contrib/make_flys_release/make_release.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/contrib/make_flys_release/make_release.sh	Fri Jun 19 16:35:13 2015 +0200
+++ b/contrib/make_flys_release/make_release.sh	Fri Jun 19 17:00:32 2015 +0200
@@ -184,7 +184,7 @@
 
 echo "INFO: download WSPLGEN"
 cd $WORK_DIR
-rm wsplgen-linux-*bit-static
+rm -f wsplgen-linux-*bit-static
 wget \
     https://wald.intevation.org/frs/download.php/1496/wsplgen-linux-64bit-static.gz \
     https://wald.intevation.org/frs/download.php/1498/wsplgen-linux-32bit-static.gz

http://dive4elements.wald.intevation.org