Fix release script

diff --git a/make-release.sh b/make-release.sh
index 5e3f71a9e1a0c79ea7cfbb523a22deec02d2ed48..23acc649eaa478eb4110207ebb0822de6c9b5879 100755 (executable)
--- a/make-release.sh
+++ b/make-release.sh
@@ -5,7 +5,7 @@ if [[ ! $1 ]]; then
   exit
 fi
 
-./require_clean_work_tree "$0"
+./require-clean-work-tree.sh "$0" || exit 1
 
 release_dir="release-$1"
 

diff --git a/require-celan-work-tree.sh b/require-clean-work-tree.sh
old mode 100644 (file)
new mode 100755 (executable)
similarity index 100%
rename from require-celan-work-tree.sh
rename to require-clean-work-tree.sh