diff options
author | David Williams | 2014-03-14 07:17:15 +0000 |
---|---|---|
committer | David Williams | 2014-03-14 07:17:15 +0000 |
commit | 2a244698a1094d22a1b55655f42e776e612c201e (patch) | |
tree | 55b7cf958596c45ecfa751005dc7258fc4e12903 | |
parent | 94027dcd452489c3c2989289295aa736cd3f454b (diff) | |
download | eclipse.platform.releng.aggregator-2a244698a1094d22a1b55655f42e776e612c201e.tar.gz eclipse.platform.releng.aggregator-2a244698a1094d22a1b55655f42e776e612c201e.tar.xz eclipse.platform.releng.aggregator-2a244698a1094d22a1b55655f42e776e612c201e.zip |
Bug 430339 - [BETA_JAVA8] We should restrict "patches" to apply toP20140314-0340
"Kepler SR2" only
will rename site.xml, instead of deleting it.
-rw-r--r-- | production/publish-repo.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/production/publish-repo.sh b/production/publish-repo.sh index 0dd626719..5a7a8f951 100644 --- a/production/publish-repo.sh +++ b/production/publish-repo.sh @@ -203,8 +203,8 @@ fi if [[ -n "${PATCH_BUILD}" ]] then - # no longer needed, will remove - rm "${siteDirOnBuildMachine}/site.xml" + # not needed, will rename + mv "${siteDirOnBuildMachine}/site.xml" "${siteDirOnBuildMachine}/siteHOLD.xml" RC=$? if [[ $RC != 0 ]] then |