master: new_release.sh: better handeling of check_version.sh changes.

coin-or · Jan 4, 2024 · c024851 · c024851
1 parent 1883c21
commit c024851
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/bin/new_release.sh b/bin/new_release.sh
@@ -130,7 +130,12 @@ sed -i CMakeLists.txt -f temp.sed
 # check_version.sh
 git show master:bin/check_version.sh > bin/check_version.sh
 chmod +x bin/check_version.sh
-bin/check_version.sh
+if ! bin/check_version.sh
+then
+   echo 'bin/check_version.sh changed version numbers'
+   echo "commit changes to $stable_branch branch ?"
+   exit 1
+fi
 #
 # git_status
 git_status=$(git status --porcelain)