| commit | 57625183706c0f735a6aebe012676bf4becafc8b | [log] [tgz] |
|---|---|---|
| author | Akron <nils@diewald-online.de> | Wed Jan 24 13:45:27 2024 +0100 |
| committer | Akron <nils@diewald-online.de> | Wed Jan 24 13:45:27 2024 +0100 |
| tree | a02174b8fe440654fb37b41a5da15e188350e9dd | |
| parent | 36ae364973d66642ad227be77fa1e71179425afb [diff] [blame] |
Fix java17 option Change-Id: Iea47df4ca6b88b6fa625c444a03ec51286f52e89
diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull index 02ee68c..8f4561a 100755 --- a/bin/git_gerrit_pull +++ b/bin/git_gerrit_pull
@@ -10,7 +10,7 @@ my $JAVA11_HOME = '/usr/lib/jvm/java-1.11.0-openjdk-amd64'; my $JAVA17_HOME = '/usr/lib/jvm/java-1.17.0-openjdk-amd64'; -if (-d $JAVA17_HOME) { +unless (-d $JAVA17_HOME) { $JAVA17_HOME = '/opt/java/jdk-17.0.2'; };