From 8d3584f4d389919be3e1b427bf8b9d887070fe64 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Tue, 19 Jan 2016 13:07:24 +0100 Subject: [PATCH] Remove org.eclipse.jgit.updatesite project from tools/version.sh We don't need to update versions for this project which was removed a long time ago. Change-Id: Ie2d030134942add152847581797db3a213ec4c9e Signed-off-by: Matthias Sohn --- tools/version.sh | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/tools/version.sh b/tools/version.sh index a2f81290d6..81ffe06b25 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; -- 2.39.5