diff options
| author | Matthias Sohn | 2016-01-19 14:15:58 +0000 |
|---|---|---|
| committer | Gerrit Code Review @ Eclipse.org | 2016-01-19 14:15:59 +0000 |
| commit | cc0afe601be912037d8c98b696535cae7578a581 (patch) | |
| tree | aca3178bdd6a70998dada83689977ddac635a1f4 | |
| parent | 559e49364820a14c349ca47881b6614fabdee6a4 (diff) | |
| parent | 8d3584f4d389919be3e1b427bf8b9d887070fe64 (diff) | |
| download | jgit-cc0afe601be912037d8c98b696535cae7578a581.tar.gz jgit-cc0afe601be912037d8c98b696535cae7578a581.tar.xz jgit-cc0afe601be912037d8c98b696535cae7578a581.zip | |
Merge "Remove org.eclipse.jgit.updatesite project from tools/version.sh" into stable-4.2
| -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}>}; |