diff options
author | david_williams | 2010-08-22 16:01:31 +0000 |
---|---|---|
committer | david_williams | 2010-08-22 16:01:31 +0000 |
commit | 3590629b3014181162a2efa4c3666745109d6d2d (patch) | |
tree | 918fffd962393921106df96f65e7a9daa9065d02 | |
parent | 87c3717e72f0e607b3db0f1004ad2b5a0f697e6c (diff) | |
download | webtools.maps-3590629b3014181162a2efa4c3666745109d6d2d.tar.gz webtools.maps-3590629b3014181162a2efa4c3666745109d6d2d.tar.xz webtools.maps-3590629b3014181162a2efa4c3666745109d6d2d.zip |
minor improve error handling in scripts
-rw-r--r-- | releng/maps/build.cfg | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index dbb6cecfa..4b5f9b110 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,5 +1,4 @@ -builderVersion=v201008221350 -#builderVersion=v201007291610 +builderVersion=HEAD eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |