diff options
| author | Stephan Herrmann | 2019-09-08 17:22:53 +0000 |
|---|---|---|
| committer | Stephan Herrmann | 2019-09-08 17:22:53 +0000 |
| commit | 2111b8f107adf2724a1966e767cf67f8a5fc72b3 (patch) | |
| tree | 2ec7c8018918b3cbc0d88bdaf0a9ba3bad7cbe13 /releng/build-scripts/build/run.properties | |
| parent | 4e2d910d57e3df7dfe0d04a11be2613318b09fd7 (diff) | |
| download | org.eclipse.objectteams-releases/OTDT_2.7.5.tar.gz org.eclipse.objectteams-releases/OTDT_2.7.5.tar.xz org.eclipse.objectteams-releases/OTDT_2.7.5.zip | |
Releng: build against S-4.13RC2-201909071130 and Orbit R20190827152740releases/OTDT_2.7.5builds/201909081329
Diffstat (limited to 'releng/build-scripts/build/run.properties')
| -rw-r--r-- | releng/build-scripts/build/run.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties index 6544897bc..2c94810f6 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -23,8 +23,8 @@ run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.10.500.v20190620-0530/scrip org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.5.500.v20190715-1310.jar # for patching our patch feature to match this version with any suffix: -jdt.feature.version=3.18.100.v20190828-1800 -jdt.feature.version.next=3.18.100.v20190828-1801 +jdt.feature.version=3.18.100.v20190907-1130 +jdt.feature.version.next=3.18.100.v20190907-1131 # jdt.core fragments for extracting pre-built classes and properties: jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.700.v20190704-1731.jar |