diff options
author | david_williams | 2010-09-12 04:31:38 +0000 |
---|---|---|
committer | david_williams | 2010-09-12 04:31:38 +0000 |
commit | 7ffb330ba7d9cd9a5a7797044f21e6c9cc5e7efa (patch) | |
tree | a35c45e3e8cd16b25f0372a0a95acafb2374f20c | |
parent | 08d9bd8f145fe2b5a3af4eed0357bd67fd494c85 (diff) | |
download | webtools.maps-7ffb330ba7d9cd9a5a7797044f21e6c9cc5e7efa.tar.gz webtools.maps-7ffb330ba7d9cd9a5a7797044f21e6c9cc5e7efa.tar.xz webtools.maps-7ffb330ba7d9cd9a5a7797044f21e6c9cc5e7efa.zip |
325037 - Slightly inconsistent results of repos versus zips
-rw-r--r-- | releng/maps/build.cfg | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index 336719e4c..730aacfb7 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=HEAD +builderVersion=v201009120430 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 @@ -7,8 +7,8 @@ eclipse.builder.version=R36_RC1 eclipse.builder.fetch=true # WTP specific builder -wtpBuildTools.url=http://download.eclipse.org/webtools/downloads/drops/T3.3.0/I-3.3.0-20100912005132/buildrepository/wtp-buildTools/plugins/ -wtpBuildTools.file=org.eclipse.wtp.releng.tools_1.1.3.v2010091250.jar +wtpBuildTools.url=http://download.eclipse.org/webtools/downloads/drops/T3.3.0/I-3.3.0-20100912041901/buildrepository/wtp-buildTools/plugins/ +wtpBuildTools.file=org.eclipse.wtp.releng.tools_1.1.3.v201009120418.jar # This parameter is specific to the compiler # being used (JDT Compiler, in our case). |