diff options
| author | David Williams | 2013-10-20 20:53:20 +0000 |
|---|---|---|
| committer | David Williams | 2013-10-20 20:53:20 +0000 |
| commit | d349c827cb9ffc3f1f1ae123d11176fe2b8eceb9 (patch) | |
| tree | 4091f3665de3ddbea754777d633e6585925a3bb7 | |
| parent | 398475e03cfc6c95ae1030df96aaacbbc2afd21f (diff) | |
| download | eclipse.platform.releng.aggregator-d349c827cb9ffc3f1f1ae123d11176fe2b8eceb9.tar.gz eclipse.platform.releng.aggregator-d349c827cb9ffc3f1f1ae123d11176fe2b8eceb9.tar.xz eclipse.platform.releng.aggregator-d349c827cb9ffc3f1f1ae123d11176fe2b8eceb9.zip | |
Bug 415147 - Should define a "production" flag to make "test builds"
faster
| -rw-r--r-- | production/master-build.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/production/master-build.sh b/production/master-build.sh index 619139bb6..9672bb181 100644 --- a/production/master-build.sh +++ b/production/master-build.sh @@ -100,12 +100,14 @@ gitCache=$( fn-git-cache "$BUILD_ROOT" "$BRANCH" ) aggDir=$( fn-git-dir "$gitCache" "$AGGREGATOR_REPO" ) export LOCAL_REPO="${BUILD_ROOT}"/localMavenRepo -# for now, remove any existing LOCAL_REPO, and re-fetch. -# At some point we may reconsider this only remove once a week, -# or something. +# In production builds, we normally specify CLEAN_LOCAL, +# and remove any existing LOCAL_REPO, and re-fetch. +# But CLEAN_LOCAL can be overridden for remote builds, quick test builds, +# etc. +export CLEAN_LOCAL=${CLEAN_LOCAL:-true} # We "remove" by moving to backup, in case there's ever any reason to # compare "what's changed". -if [[ -d ${LOCAL_REPO} ]] +if [[ -d ${LOCAL_REPO} && "${CLEAN_LOCAL}" == "true" ]] then # remove existing backup, if it exists rm -fr ${LOCAL_REPO}.bak 2>/dev/null |