diff options
author | Stephan Herrmann | 2018-07-26 17:21:20 +0000 |
---|---|---|
committer | Stephan Herrmann | 2018-07-26 17:30:52 +0000 |
commit | e66b17ee7b98b1a923de6a81866d0d802f9434b7 (patch) | |
tree | 2a3fde014b8c251f81b3ad69fa21074c27ca4d37 /releng/build-scripts/build/run.properties | |
parent | d0fe062fe77750c82ecccd8ef3b812c75adeef2e (diff) | |
download | org.eclipse.objectteams-e66b17ee7b98b1a923de6a81866d0d802f9434b7.tar.gz org.eclipse.objectteams-e66b17ee7b98b1a923de6a81866d0d802f9434b7.tar.xz org.eclipse.objectteams-e66b17ee7b98b1a923de6a81866d0d802f9434b7.zip |
Releng: build against I20180725-2000, bump up some versions
Diffstat (limited to 'releng/build-scripts/build/run.properties')
-rw-r--r-- | releng/build-scripts/build/run.properties | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties index 0c4173e51..4c1a11462 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -19,16 +19,16 @@ vmargs=-Xmx1200m -XX:-UseGCOverheadLimit # ------------- insert current versions here --------------- # Details of the Eclipse SDK built upon: -run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.10.0.v20180512-1217/scripts -org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.0.v20180512-1130.jar +run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.10.100.v20180701-0718/scripts +org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.100.v20180611-1436.jar # for patching our patch feature to match this version with any suffix: -jdt.feature.version=3.14.0.v20180611-0500 -jdt.feature.version.next=3.14.0.v20180611-0501 +jdt.feature.version=3.15.0.v20180725-2000 +jdt.feature.version.next=3.15.0.v20180725-2001 # jdt.core fragments for extracting pre-built classes and properties: -jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.200.v20180523-0418.jar -jdt.compiler.tool=org.eclipse.jdt.compiler.tool_1.2.200.v20180512-1206.jar +jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.300.v20180706-1359.jar +jdt.compiler.tool=org.eclipse.jdt.compiler.tool_1.2.300.v20180706-1359.jar # ----------------------------------------------------------- #Git Support for PDE BUILD: |