let's separate Android from not Android

2022-10-15 15:13:02 -04:00 · 2022-10-15 15:13:02 -04:00 · 833819f3e7
parent 042682ef80
commit 833819f3e7
1 changed files with 1 additions and 1 deletions
--- a/misc/jenkins/build_java_console.sh
+++ b/misc/jenkins/build_java_console.sh
@ -4,7 +4,7 @@ echo "java version"
 java -version

 echo "Generating Java (Antlr)"
-cd android
+cd java_tools
 ./gradlew :config_definition:generateGrammarSource
 cd ..