commit 7bb3b4149253d79ff21d4a2c6397cf7b27d5c7da
author david_williams <david_williams> Wed May 28 04:48:07 2008 +0000
committer david_williams <david_williams> Wed May 28 04:48:07 2008 +0000
tree 0bcdbb6fd67aa06041bcb3a5eed27c78c6020953
parent feef06375ac4881e65ef3d4b42e68e5bf4375f91

improve workflow

org.eclipse.wtp.releng.webupdatesite/build-home/createP2Repo.xml

diff --git a/org.eclipse.wtp.releng.webupdatesite/build-home/createP2Repo.xml b/org.eclipse.wtp.releng.webupdatesite/build-home/createP2Repo.xml
index aaa5c47..0ae6357 100644
--- a/org.eclipse.wtp.releng.webupdatesite/build-home/createP2Repo.xml
+++ b/org.eclipse.wtp.releng.webupdatesite/build-home/createP2Repo.xml
@@ -7,9 +7,8 @@
         name="createP2Repo"
         depends="checkArgs">
 
-        <property
-            name="java15-home"
-            value="${user.home}/ibm-java2-ppc-50/jre" />
+          <fail unless="java15-home" message="Must provide java15-home" />
+
         <property
             name="buildDirectory"
             value="${basedir}" />