diff options
| author | david_williams | 2010-08-23 12:05:25 +0000 |
|---|---|---|
| committer | david_williams | 2010-08-23 12:05:25 +0000 |
| commit | c3a7f365da1aec03b2cb277182979d74162c6a8a (patch) | |
| tree | 7065ebec1cb7eeeeefd85cdacb6e70b6ffc67c06 | |
| parent | 44ccf63317d3e15a9825b7e3c3c2c2a20446ae08 (diff) | |
| download | webtools.maps-c3a7f365da1aec03b2cb277182979d74162c6a8a.tar.gz webtools.maps-c3a7f365da1aec03b2cb277182979d74162c6a8a.tar.xz webtools.maps-c3a7f365da1aec03b2cb277182979d74162c6a8a.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 d660aeec6..85633ddf5 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201008230541 +builderVersion=v201008231202 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |