From 6fd0615be9003a86c4ac5a0cb89e78aac4cc83f6 Mon Sep 17 00:00:00 2001
From: Brian Clozel <bclozel@vmware.com>
Date: Tue, 26 Oct 2021 09:12:30 +0200
Subject: [PATCH] Fix JDK18 declaration in CI pipeline

See gh-27607
---
 ci/scripts/check-project.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/scripts/check-project.sh b/ci/scripts/check-project.sh
index 0620dc17164..c0b66efc7d3 100755
--- a/ci/scripts/check-project.sh
+++ b/ci/scripts/check-project.sh
@@ -4,6 +4,6 @@ set -e
 source $(dirname $0)/common.sh
 
 pushd git-repo > /dev/null
-./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false -Porg.gradle.java.installations.fromEnv=JDK17 \
+./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false -Porg.gradle.java.installations.fromEnv=JDK17,JDK18 \
   -PmainToolchain=${MAIN_TOOLCHAIN} -PtestToolchain=${TEST_TOOLCHAIN} --no-daemon --max-workers=4 check
 popd > /dev/null