Add Koral to pull-tests
Change-Id: I7123c69e4492edceb9e8e7ddcd7a86d1aec77656
diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull
index 1ed6990..88ad49d 100755
--- a/bin/git_gerrit_pull
+++ b/bin/git_gerrit_pull
@@ -61,6 +61,11 @@
_check('JAVA_HOME="/usr/lib/jvm/java-1.8.0-openjdk-amd64" mvn clean test');
}
+# Koral
+elsif ($project =~ m!^Koral$!i) {
+ _check('JAVA_HOME="/usr/lib/jvm/java-1.11.0-openjdk-amd64" mvn clean test');
+}
+
# KorapSRU
elsif ($project =~ m!^KorapSRU$!i) {
_check('JAVA_HOME="/usr/lib/jvm/java-1.8.0-openjdk-amd64" mvn clean test');