build.xml
changeset 4277 cf3dac4adfe7
parent 3995 88e93b5b7c41
child 4278 08f71f5da899
--- a/build.xml	Mon Jul 06 11:49:23 2009 +0200
+++ b/build.xml	Mon Jul 06 13:09:53 2009 +0200
@@ -201,7 +201,7 @@
 
   <taskdef resource="axis-tasks.properties" classpathref="project.class.path" />
 
-  <target name="init">
+  <target name="init" depends="code.rev">
     <fail if="no.java.home" message="The environment variable JAVA_HOME is not set." />
   </target>