diff options
| author | Stephan Herrmann | 2018-08-28 12:03:06 +0000 |
|---|---|---|
| committer | Stephan Herrmann | 2018-08-28 12:03:06 +0000 |
| commit | e55f683e240634193abe5385a6b1370dc7750929 (patch) | |
| tree | 9fc37aa2e79c84b8693f1f1a967e173717a5188d /releng/build-scripts/build/run.properties | |
| parent | b94fba786033dfb427ed6bf525b1488410d52647 (diff) | |
| download | org.eclipse.objectteams-e55f683e240634193abe5385a6b1370dc7750929.tar.gz org.eclipse.objectteams-e55f683e240634193abe5385a6b1370dc7750929.tar.xz org.eclipse.objectteams-e55f683e240634193abe5385a6b1370dc7750929.zip | |
Releng: build against S-4.9M3-201808230450
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 109c95963..0c7bd22dc 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -23,11 +23,11 @@ run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.10.100.v20180701-0718/scrip 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.15.0.v20180801-2000 -jdt.feature.version.next=3.15.0.v20180801-2001 +jdt.feature.version=3.15.0.v20180823-0831 +jdt.feature.version.next=3.15.0.v20180823-0832 # jdt.core fragments for extracting pre-built classes and properties: -jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.300.v20180706-1359.jar +jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.300.v20180810-0804.jar jdt.compiler.tool=org.eclipse.jdt.compiler.tool_1.2.300.v20180706-1359.jar # ----------------------------------------------------------- |