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 31b003d71..d48a8a8da 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -54,7 +54,7 @@ PREVIOUS_RELEASE_ID="R-4.17-202009021800" BUILDTOOLS_REPO="https://download.eclipse.org/eclipse/updates/buildtools/" WEBTOOLS_REPO="https://download.eclipse.org/webtools/downloads/drops/R3.18.0/R-3.18.0-20200605032700/repositoryunittests/" BASEBUILDER_DIR="tmp/org.eclipse.releng.basebuilder" -ECLIPSE_RUN_REPO="https://download.eclipse.org/eclipse/updates/4.18-I-builds/" +ECLIPSE_RUN_REPO="https://download.eclipse.org/eclipse/updates/4.18/" #Maven parameters MAVEN_OPTS="-Xmx6G" |