diff --git a/tools/version.sh b/tools/version.sh index e5c98ecdc..8b8095db4 100755 --- a/tools/version.sh +++ b/tools/version.sh @@ -156,6 +156,17 @@ perl -pi~ -e ' } ' org.eclipse.jgit.packaging/pom.xml +perl -pi~ -e ' + if ($ARGV ne $old_argv) { + $seen_version = 0; + $old_argv = $ARGV; + } + if ($seen_version < 18) { + $seen_version++ if + s{<(version)>.*}{<${1}>'"$POM_V"'}; + } + ' org.eclipse.jgit.coverage/pom.xml + perl -pi~ -e ' if ($ARGV ne $old_argv) { $seen_version = 0;