diff options
-rw-r--r-- | cje-production/buildproperties.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cje-production/buildproperties.txt b/cje-production/buildproperties.txt index 482ed7c38..181e57a65 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -50,7 +50,7 @@ ECLIPSE_RUN_REPO="https://download.eclipse.org/eclipse/updates/4.11-I-builds/" # Base builder parameters start PREVIOUS_RELEASE_ID="R-4.10-201812060815" PREVIOUS_RELEASE_VER="4.10" -BUILDTOOLS_REPO="https://build.eclipse.org/eclipse/buildtools/" +BUILDTOOLS_REPO="http://build.eclipse.org/eclipse/buildtools/" WEBTOOLS_REPO="https://download.eclipse.org/webtools/downloads/drops/R3.12.0/R-3.12.0-20181130055351/repositoryunittests/" WEBTOOLS_VER="1.2.0.v201405010053" BASEBUILDER_DIR="siteDir/org.eclipse.releng.basebuilder" |