commit c41ae69ba1dcc7f649d5dc14e43ff2b0f1e54dd7
parent c2f1568c9da050afd717e71c6c66cc48f7f168c0
Author: Christian Grothoff <christian@grothoff.org>
Date: Thu, 30 Oct 2025 21:32:50 +0100
fix bump script
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/contrib/bump b/contrib/bump
@@ -24,7 +24,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}"