diff options
author | david_williams | 2010-08-23 13:42:32 +0000 |
---|---|---|
committer | david_williams | 2010-08-23 13:42:32 +0000 |
commit | ebf13104aa3214b7f44c69d2e89fdb5123e4d7f3 (patch) | |
tree | 90098c50dd939f5577e88ac6acd9af32fad51310 | |
parent | c3a7f365da1aec03b2cb277182979d74162c6a8a (diff) | |
download | webtools.maps-ebf13104aa3214b7f44c69d2e89fdb5123e4d7f3.tar.gz webtools.maps-ebf13104aa3214b7f44c69d2e89fdb5123e4d7f3.tar.xz webtools.maps-ebf13104aa3214b7f44c69d2e89fdb5123e4d7f3.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 85633ddf5..98f9d53c7 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201008231202 +builderVersion=v201008230140 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |