diff options
author | david_williams | 2010-08-23 00:18:58 +0000 |
---|---|---|
committer | david_williams | 2010-08-23 00:18:58 +0000 |
commit | b68f47b432264f4de1ce698de307b963b06b3d69 (patch) | |
tree | 6d9acb8046eedc6748f389f4447e146b76c4f4ef | |
parent | 754d9d1eec954ee7f10783678f91831362bb2150 (diff) | |
download | webtools.maps-b68f47b432264f4de1ce698de307b963b06b3d69.tar.gz webtools.maps-b68f47b432264f4de1ce698de307b963b06b3d69.tar.xz webtools.maps-b68f47b432264f4de1ce698de307b963b06b3d69.zip |
publish site before tests run
-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 4b5f9b110..a12867dec 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=HEAD +builderVersion=v201008230015 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |