diff options
author | David Williams | 2015-10-07 05:26:16 +0000 |
---|---|---|
committer | David Williams | 2015-10-07 05:26:16 +0000 |
commit | a79d1616994f0560a725a429dc8db6ad521f9606 (patch) | |
tree | e03123ae405dff00895e06470b6112693be5f1a4 | |
parent | de67b2c72437a3e9c4fc4c789e21942d89178f24 (diff) | |
download | eclipse.platform.releng.aggregator-a79d1616994f0560a725a429dc8db6ad521f9606.tar.gz eclipse.platform.releng.aggregator-a79d1616994f0560a725a429dc8db6ad521f9606.tar.xz eclipse.platform.releng.aggregator-a79d1616994f0560a725a429dc8db6ad521f9606.zip |
Bug 479191 - getEBuilderForDropDir.sh does not get correct branch, for
post-build work
-rwxr-xr-x | production/getEBuilderForDropDir.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/production/getEBuilderForDropDir.sh b/production/getEBuilderForDropDir.sh index 265b99dcf..509d7a008 100755 --- a/production/getEBuilderForDropDir.sh +++ b/production/getEBuilderForDropDir.sh @@ -49,7 +49,9 @@ then # note the use of "reference" ... we typically only need a little bit of # new stuff, that the gitCache version doesn't have already, if any. - git clone --reference $aggDir ${AGGREGATOR_REPO} ${BUILD_DIR}/${EBUILDER} + echo "Doing git clone using: --reference --no-hardlinks --branch \${EBUILDER_HASH} \${aggDir} \${AGGREGATOR_REPO} \${BUILD_DIR}/\${EBUILDER}" + echo "which evaluates to git clone --reference --no-hardlinks --branch ${EBUILDER_HASH} ${aggDir} ${AGGREGATOR_REPO} ${BUILD_DIR}/${EBUILDER}" + git clone --reference --no-hardlinks --branch ${EBUILDER_HASH} ${aggDir} ${AGGREGATOR_REPO} ${BUILD_DIR}/${EBUILDER} RC=$? if [[ $RC != 0 ]] then |