From 7fe04faf02eb41cc1ed31e94917d9ed5d635ca97 Mon Sep 17 00:00:00 2001
From: rusefillc <sdfsdfqsf2334234234>
Date: Sat, 15 Oct 2022 15:13:02 -0400
Subject: [PATCH] let's separate Android from not Android

---
 misc/jenkins/build_java_console.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/jenkins/build_java_console.sh b/misc/jenkins/build_java_console.sh
index b3d9ad3313..f0678a4e49 100755
--- 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 ..