diff --git a/tools/version.sh b/tools/version.sh index a2f81290d..81ffe06b2 100755 --- a/tools/version.sh +++ b/tools/version.sh @@ -144,17 +144,6 @@ perl -pi~ -e ' } ' org.eclipse.jgit.packaging/org.*.feature/pom.xml -perl -pi~ -e ' - if ($ARGV ne $old_argv) { - $seen_version = 0; - $old_argv = $ARGV; - } - if ($seen_version < 5) { - $seen_version++ if - s{<(version)>.*}{<${1}>'"$POM_V"'}; - } - ' org.eclipse.jgit.packaging/org.eclipse.jgit.updatesite/pom.xml - perl -pi~ -e ' if ($ARGV ne $old_argv) { $seen_version = 0;