diff options
author | david_williams | 2008-06-23 00:48:27 +0000 |
---|---|---|
committer | david_williams | 2008-06-23 00:48:27 +0000 |
commit | b05c7f492fd5885a6c19629745f9bf9bd3a25c8e (patch) | |
tree | f815104050f2857262929ea66673387579009603 | |
parent | c5ecfd654031e2e95227057096f22fd0c1a8975a (diff) | |
download | webtools.maps-b05c7f492fd5885a6c19629745f9bf9bd3a25c8e.tar.gz webtools.maps-b05c7f492fd5885a6c19629745f9bf9bd3a25c8e.tar.xz webtools.maps-b05c7f492fd5885a6c19629745f9bf9bd3a25c8e.zip |
experiment with more than one thread ... this allows, for example, a quick job like "incubator build" to not have to wait behind a 4 hour WTP build.
-rw-r--r-- | releng/maps/build.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index 6c48248d6..02f36bc01 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v200809110516 +builderVersion=v200806230045 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=RC2_34 |