commit 914358f414ba29195ff7972e7e2875457af2d566
parent e4d78aa6481a6a3d93e46ebcf8963bbfb617241b
Author: Christian Grothoff <christian@grothoff.org>
Date: Thu, 30 Oct 2025 21:32:38 +0100
fix bump script
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/contrib/bump b/contrib/bump
@@ -23,7 +23,11 @@ function updated {
# update configure.ac
function configure_ac {
- updated configure.ac || return 0
+ if [[ $(grep AC_INIT configure.ac | grep "${VERSION}") ]];
+ then
+ echo "configure.ac already in ${VERSION}"
+ return 0
+ fi
sed -i "/AC_INIT/s/,\\[\\(.*\\)\\],/,[${VERSION}],/" configure.ac
echo "configure.ac ${VERSION}"