diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/version.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/version.sh b/tools/version.sh index a2f81290d6..81ffe06b25 100755 --- a/tools/version.sh +++ b/tools/version.sh @@ -149,17 +149,6 @@ perl -pi~ -e ' $seen_version = 0; $old_argv = $ARGV; } - if ($seen_version < 5) { - $seen_version++ if - s{<(version)>.*</\1>}{<${1}>'"$POM_V"'</${1}>}; - } - ' org.eclipse.jgit.packaging/org.eclipse.jgit.updatesite/pom.xml - -perl -pi~ -e ' - if ($ARGV ne $old_argv) { - $seen_version = 0; - $old_argv = $ARGV; - } if (!$seen_version) { $seen_version = 1 if s{<(version)>.*</\1>}{<${1}>'"$POM_V"'</${1}>}; |