diff options
author | david_williams | 2010-08-22 13:51:49 +0000 |
---|---|---|
committer | david_williams | 2010-08-22 13:51:49 +0000 |
commit | 87c3717e72f0e607b3db0f1004ad2b5a0f697e6c (patch) | |
tree | d02416048e91b4aa66673e31ce92888054d08537 | |
parent | 946fb55f534147c2a952b1ad45397804322cf806 (diff) | |
download | webtools.maps-87c3717e72f0e607b3db0f1004ad2b5a0f697e6c.tar.gz webtools.maps-87c3717e72f0e607b3db0f1004ad2b5a0f697e6c.tar.xz webtools.maps-87c3717e72f0e607b3db0f1004ad2b5a0f697e6c.zip |
minor improve error handling in scripts
-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 595eca8fe..dbb6cecfa 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201008210600 +builderVersion=v201008221350 #builderVersion=v201007291610 eclipse.builder=org.eclipse.releng.basebuilder |