release.sh: force directory removal

diff --git a/re2c/release.sh b/re2c/release.sh
index 5b44a0878f5ccdd98db5368b646cfd6254698833..40f52ed2267d3ac94249ddb37a57fd99a8b89636 100755 (executable)
--- a/re2c/release.sh
+++ b/re2c/release.sh
@@ -49,7 +49,7 @@ git push --tags
 src=release
 src_tarballs=$src/frs/project/re2c/re2c/$version
 src_docs=$src/project-web/re2c/htdocs
-rm -r $src
+rm -rf $src
 mkdir -p $src_tarballs
 mkdir -p $src_docs
 cp re2c-$version-src.zip re2c-$version.tar.gz $src_tarballs