commit ef4275e9de387f430a85656e58c77805760b9051
author margaretha <margaretha@ids-mannheim.de> Tue Nov 14 10:49:03 2023 +0100
committer Akron <nils@diewald-online.de> Thu Jan 11 13:11:20 2024 +0100
tree ad77340d11dea40c7e068ea357380060ec5062dd
parent 4d96c3620b45873e233c10c628916becd9e5a482

Added JAVA17_HOME

Change-Id: I4a9e39a726f80f2b806fdb979712bb0ce5cbdbbc

bin/git_gerrit_pull

diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull
index 96029f7..9492f61 100755
--- a/bin/git_gerrit_pull
+++ b/bin/git_gerrit_pull
@@ -48,12 +48,11 @@
 _check('git checkout ' . $branch);
 _check('git rebase master');
 
+my $JAVA17_HOME="/opt/java/jdk-17.0.2";
 
 # Kustvakt
 if ($project =~ m!^Kustvakt$!i) {
-  _check('cd core && JAVA_HOME="/usr/lib/jvm/java-1.11.0-openjdk-amd64" mvn clean install');
-  _check('cd lite && JAVA_HOME="/usr/lib/jvm/java-1.11.0-openjdk-amd64" mvn clean test');
-  _check('cd full && JAVA_HOME="/usr/lib/jvm/java-1.11.0-openjdk-amd64" mvn clean test');
+  _check('cd full && JAVA_HOME='.$JAVA17_HOME.' mvn clean test');
 }
 
 # KalamarExport-Plugin