# HG changeset patch
# User Andre Heinecke <andre.heinecke@intevation.de>
# Date 1434726032 -7200
# Node ID 5b4bd0680160fc6b363ca48c049fc70aa4d7650d
# Parent  69b0a71b4845a36f0b4100314e05eae340f0a7d1
Do not die if work dir is clean.

    rm would fail if there were no old wsplgen archives around

diff -r 69b0a71b4845 -r 5b4bd0680160 contrib/make_flys_release/make_release.sh
--- 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