Changeset 11676 in josm

Timestamp:

2017-03-05T00:32:10+01:00 (7 years ago)

Author:

Don-vip

Message:

fix #14455 - Use <java> instead of <exec> to run javacc (patch by michael2402)

File:

• trunk/build.xml (modified) (2 diffs)

trunk/build.xml

@@ -208 +208 @@
     <target name="javacc" depends="init" unless="javacc.notRequired">
         <mkdir dir="${mapcss.dir}/parsergen"/>
-        <exec append="false" executable="java" failifexecutionfails="true">
-            <arg value="-cp"/>
-            <arg value="${javacc.home}/javacc.jar"/>
-            <arg value="javacc"/>
+        <java classname="javacc" fork="true" failonerror="true">
+            <classpath path="${javacc.home}/javacc.jar"/>
             <arg value="-DEBUG_PARSER=false"/>
             <arg value="-DEBUG_TOKEN_MANAGER=false"/>
@@ -218 +216 @@
             <arg value="-OUTPUT_DIRECTORY=${mapcss.dir}/parsergen"/>
             <arg value="${mapcss.dir}/MapCSSParser.jj"/>
-        </exec>
+        </java>
     </target>
     <target name="compile" depends="init,javacc">