diff options
author | david_williams | 2010-08-23 05:44:14 +0000 |
---|---|---|
committer | david_williams | 2010-08-23 05:44:14 +0000 |
commit | 44ccf63317d3e15a9825b7e3c3c2c2a20446ae08 (patch) | |
tree | b5954d2c1bea06fefc3cdaa502bd6c022639af35 | |
parent | b0048197549ada75de656b3e76a9232909816caa (diff) | |
download | webtools.maps-44ccf63317d3e15a9825b7e3c3c2c2a20446ae08.tar.gz webtools.maps-44ccf63317d3e15a9825b7e3c3c2c2a20446ae08.tar.xz webtools.maps-44ccf63317d3e15a9825b7e3c3c2c2a20446ae08.zip |
fail if compilation problems
-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 07a82587d..d660aeec6 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201008230317 +builderVersion=v201008230541 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |