Sub version in pom.xml

runtimeverification · Mar 6, 2024 · f7abcc5 · f7abcc5
1 parent d5119d9
commit f7abcc5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/package/version.sh b/package/version.sh
@@ -28,6 +28,7 @@ version_bump() {
 version_sub() {
     local version
     version="$(cat $version_file)"
+    sed --in-place 's#^  <version>.*</version>$#  <version>'${version}'</version>#' pom.xml
 }
 
 version_command="$1" ; shift