diff options
author | Noopur Gupta | 2020-01-04 10:30:48 +0000 |
---|---|---|
committer | Sravan Kumar Lakkimsetti | 2020-01-04 11:08:08 +0000 |
commit | 42f7c505f4b0ba76e400cdf8bbc7deb8d7ae7ccd (patch) | |
tree | 9991c6bd675abe69557b282be4617713c9c73a6d /cje-production/buildproperties.txt | |
parent | 05b3f8e82db8819197c6aa2cebe1c162f6766b62 (diff) | |
download | eclipse.platform.releng.aggregator-42f7c505f4b0ba76e400cdf8bbc7deb8d7ae7ccd.tar.gz eclipse.platform.releng.aggregator-42f7c505f4b0ba76e400cdf8bbc7deb8d7ae7ccd.tar.xz eclipse.platform.releng.aggregator-42f7c505f4b0ba76e400cdf8bbc7deb8d7ae7ccd.zip |
Bug 558773: Change download.eclipse.org URLs to https
Change-Id: I0efdf103c2db8878cee8fb7df99090c87ee35a49
Diffstat (limited to 'cje-production/buildproperties.txt')
-rw-r--r-- | cje-production/buildproperties.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cje-production/buildproperties.txt b/cje-production/buildproperties.txt index f406d7c70..84f9fbecd 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -43,10 +43,10 @@ API_PREV_REF_LABEL="4.13" PREVIOUS_RELEASE_VER="4.13" PREVIOUS_RELEASE_ID="R-4.13-201909161045" BUILDTOOLS_REPO="https://download.eclipse.org/eclipse/updates/buildtools/" -WEBTOOLS_REPO="http://download.eclipse.org/webtools/downloads/drops/R3.12.0/R-3.12.0-20181130055351/repositoryunittests/" +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="tmp/org.eclipse.releng.basebuilder" -ECLIPSE_RUN_REPO="http://download.eclipse.org/eclipse/updates/4.15-I-builds/" +ECLIPSE_RUN_REPO="https://download.eclipse.org/eclipse/updates/4.15-I-builds/" #Maven parameters MAVEN_OPTS="-Xmx4096m" |