diff options
author | David Williams | 2013-10-14 21:48:49 +0000 |
---|---|---|
committer | David Williams | 2013-10-14 21:48:49 +0000 |
commit | fd60132659110e9c7e91b0c8184250f0fdf8cbfa (patch) | |
tree | 73b9e3e92033f10c988459af392e6e4feb38fee6 /production/publish-repo.sh | |
parent | 90f7d62bc058d2791083f1d71f77389fc3be15ca (diff) | |
download | eclipse.platform.releng.aggregator-fd60132659110e9c7e91b0c8184250f0fdf8cbfa.tar.gz eclipse.platform.releng.aggregator-fd60132659110e9c7e91b0c8184250f0fdf8cbfa.tar.xz eclipse.platform.releng.aggregator-fd60132659110e9c7e91b0c8184250f0fdf8cbfa.zip |
Revert "Bug 419403 - avoid wget in build scripts"
This reverts commit 90f7d62bc058d2791083f1d71f77389fc3be15ca.
Needs more testing.
Diffstat (limited to 'production/publish-repo.sh')
-rw-r--r-- | production/publish-repo.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/publish-repo.sh b/production/publish-repo.sh index 4572db747..4ab6d8934 100644 --- a/production/publish-repo.sh +++ b/production/publish-repo.sh @@ -31,7 +31,7 @@ basebuilderDir=$( fn-basebuilder-dir "$BUILD_ROOT" "$BUILD_ID" "$STREAM" ) $SCRIPT_PATH/getEBuilderForDropDir.sh $buildDirectory $EBUILDER_HASH -fn-checkout-basebuilder "$basebuilderDir" +fn-checkout-basebuilder "$basebuilderDir" "$BASEBUILDER_TAG" launcherJar=$( fn-basebuilder-launcher "$basebuilderDir" ) |