diff --git a/java_console/build.xml b/java_console/build.xml index 31fdeed716..0fa8bd22f0 100644 --- a/java_console/build.xml +++ b/java_console/build.xml @@ -42,7 +42,12 @@ - + + + + + + diff --git a/misc/jenkins/build_java_console.sh b/misc/jenkins/build_java_console.sh index 08ebbc726f..f3364179f7 100644 --- a/misc/jenkins/build_java_console.sh +++ b/misc/jenkins/build_java_console.sh @@ -3,11 +3,6 @@ echo "java version" java -version -echo "Generating Java (Antlr)" -cd java_tools/configuration_definition -ant antlr -cd ../.. - echo "Building java console" pwd cd java_console