diff options
author | Stephan Herrmann | 2019-05-23 16:44:52 +0000 |
---|---|---|
committer | Stephan Herrmann | 2019-05-23 16:44:52 +0000 |
commit | a372fae3605fbe2d42f67f2fa37972b1711bb78a (patch) | |
tree | 9e7e1848909d43ac45fc0886750144924f44535d /releng/build-scripts/build/run.properties | |
parent | 8a5e933e1d58a098da3eb3614a9427da14bdedeb (diff) | |
download | org.eclipse.objectteams-a372fae3605fbe2d42f67f2fa37972b1711bb78a.tar.gz org.eclipse.objectteams-a372fae3605fbe2d42f67f2fa37972b1711bb78a.tar.xz org.eclipse.objectteams-a372fae3605fbe2d42f67f2fa37972b1711bb78a.zip |
Releng: build against I20190522-1800 for 2019-06 M3
Diffstat (limited to 'releng/build-scripts/build/run.properties')
-rw-r--r-- | releng/build-scripts/build/run.properties | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties index 73d4f4f92..6c6613f84 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -21,11 +21,11 @@ vmargs=-Xmx1200m -XX:-UseGCOverheadLimit # Details of the boot Eclipse SDK: run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.10.300.v20190305-0856/scripts # Details of the Eclipse SDK built upon: -org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.300.v20190213-1655.jar +org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.400.v20190515-0925.jar # for patching our patch feature to match this version with any suffix: -jdt.feature.version=3.18.0.v20190501-1816 -jdt.feature.version.next=3.18.0.v20190501-1817 +jdt.feature.version=3.18.0.v20190522-1800 +jdt.feature.version.next=3.18.0.v20190522-1801 # jdt.core fragments for extracting pre-built classes and properties: jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.600.v20190402-0634.jar |