Add Krill
Change-Id: I33c8a8a1e9d1859ea40bd90822200708017ac7a9
diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull
index 3c73122..02ee68c 100755
--- a/bin/git_gerrit_pull
+++ b/bin/git_gerrit_pull
@@ -72,6 +72,11 @@
_check('JAVA_HOME="'.$JAVA17_HOME.'" mvn clean test');
}
+# Krill
+elsif ($project =~ m!^Krill$!i) {
+ _check('JAVA_HOME="'.$JAVA17_HOME.'" mvn clean test');
+}
+
# Kalamar-Plugin-ExternalResources
elsif ($project =~ m!^Kalamar-Plugin-ExternalResources$!i) {
_check('go test ./...');