diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2016-01-19 13:07:24 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2016-01-19 13:08:23 +0100 |
commit | 8d3584f4d389919be3e1b427bf8b9d887070fe64 (patch) | |
tree | dfd382d7cd5ffe508a722f2b2b8516df8c678058 /tools | |
parent | 1ed5382b37453309580e11a11cf4c3bb134813fa (diff) | |
download | jgit-8d3584f4d389919be3e1b427bf8b9d887070fe64.tar.gz jgit-8d3584f4d389919be3e1b427bf8b9d887070fe64.zip |
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 <matthias.sohn@sap.com>
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}>}; |