diff options
author | David Williams | 2015-12-22 03:49:39 +0000 |
---|---|---|
committer | David Williams | 2015-12-22 03:49:39 +0000 |
commit | e41ae2e1075bfd02a990b0c5a6f541c97fd977a4 (patch) | |
tree | 536e09710cc3b1bbf7f3dac60da3bb031d87c64b /production/master-build.sh | |
parent | 3d793c10284b1bb416882cffdf31f40179c9ea85 (diff) | |
download | eclipse.platform.releng.aggregator-e41ae2e1075bfd02a990b0c5a6f541c97fd977a4.tar.gz eclipse.platform.releng.aggregator-e41ae2e1075bfd02a990b0c5a6f541c97fd977a4.tar.xz eclipse.platform.releng.aggregator-e41ae2e1075bfd02a990b0c5a6f541c97fd977a4.zip |
Bug 480817 - We should use --update-snapshots in production builds
Diffstat (limited to 'production/master-build.sh')
-rwxr-xr-x | production/master-build.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/production/master-build.sh b/production/master-build.sh index 6b17b6f23..15da7a1c8 100755 --- a/production/master-build.sh +++ b/production/master-build.sh @@ -121,8 +121,15 @@ export CLEAN_LOCAL=${CLEAN_LOCAL:-true} if [[ -d ${LOCAL_REPO} && "${CLEAN_LOCAL}" == "true" ]] then # remove existing backup, if it exists - rm -fr ${LOCAL_REPO}.bak 2>/dev/null - mv ${LOCAL_REPO} ${LOCAL_REPO}.bak + # if build type is not N-build. Even for N-build, we clean if + # the "day of the week" is Monday (day=1) so it is cleaned once + # per week. We pick Monday since that is typically right before I-build, + # so might avoid some surprises. + if [[ "$BUILD_TYPE" =~ [MIXYPS] || $(date +%u) == 1 ]] + then + rm -fr ${LOCAL_REPO}.bak 2>/dev/null + mv ${LOCAL_REPO} ${LOCAL_REPO}.bak + fi fi export STREAMS_PATH="${aggDir}/streams" |