diff options
author | david_williams | 2010-09-25 23:57:50 +0000 |
---|---|---|
committer | david_williams | 2010-09-25 23:57:50 +0000 |
commit | a8958fe9ee20750e03c442656b60c43bd9d874e8 (patch) | |
tree | cea39ad963c642da4bc8c63120332d1a71410877 | |
parent | 5b1a52f41afd41318f129da6d8975edada537cba (diff) | |
download | webtools.maps-a8958fe9ee20750e03c442656b60c43bd9d874e8.tar.gz webtools.maps-a8958fe9ee20750e03c442656b60c43bd9d874e8.tar.xz webtools.maps-a8958fe9ee20750e03c442656b60c43bd9d874e8.zip |
update builder
-rw-r--r-- | releng/maps/build.cfg | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index ac7a1f8bb..5610d9767 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,6 @@ -builderVersion=v201009120908 +builderVersion=HEAD + +#builderVersion=v201009120908 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC4 |