diff options
author | David Williams | 2014-03-10 02:49:37 +0000 |
---|---|---|
committer | David Williams | 2014-03-10 02:49:37 +0000 |
commit | bd60e479bf51b6a05f49a45dc3bd82bd359cb63a (patch) | |
tree | 8a363fdb1d4fbdb2d460ce17ab6751472c85a1da /production/update-build-input.sh | |
parent | 9f2deb12595bf63cc0f5074b4c1064aba68b984e (diff) | |
download | eclipse.platform.releng.aggregator-bd60e479bf51b6a05f49a45dc3bd82bd359cb63a.tar.gz eclipse.platform.releng.aggregator-bd60e479bf51b6a05f49a45dc3bd82bd359cb63a.tar.xz eclipse.platform.releng.aggregator-bd60e479bf51b6a05f49a45dc3bd82bd359cb63a.zip |
[releng] misc. sycn with patch branch to carry improvements forward.
Diffstat (limited to 'production/update-build-input.sh')
-rw-r--r-- | production/update-build-input.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/update-build-input.sh b/production/update-build-input.sh index 465f178f1..1f43bcca0 100644 --- a/production/update-build-input.sh +++ b/production/update-build-input.sh @@ -24,7 +24,7 @@ cd $BUILD_ROOT # derived values gitCache=$( fn-git-cache "$BUILD_ROOT" "$BRANCH" ) aggDir=$( fn-git-dir "$gitCache" "$AGGREGATOR_REPO" ) -repositories=$( echo $STREAMS_PATH/repositories.txt ) +repositories=$( echo $STREAMS_PATH/repositories${PATCH_BUILD}.txt ) repoScript=$( echo $SCRIPT_PATH/git-submodule-checkout.sh ) |