diff --git a/Installation/release.sh b/Installation/release.sh
index c9b1ed0aa7..1989deb5a7 100755
--- a/Installation/release.sh
+++ b/Installation/release.sh
@@ -67,7 +67,7 @@ case "$TAG" in
     ;;
 
   *)
-    git rm -f EXPERIMENTAL
+    if test -f EXPERIMENTAL; then git rm -f EXPERIMENTAL; fi
     ;;
 esac