diff options
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 3d95274d8..a7c58d036 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -21,8 +21,8 @@ map.file.path=/shared/tools/objectteams/releng/map/otdt.map # Version dependent names: # Details of the Eclipse SDK build upon: -run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.8.0.v20120428-0109/scripts -org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.3.0.v20120308-1358.jar +run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.8.0.v20120523-1555/scripts +org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.3.0.v20120522-1813.jar # for patching our patch feature to match this version with any suffix: jdt.feature.version=3.8.0.v20120523-1245 |