From 9d63d353d58c0787c2092070557a861df3939c97 Mon Sep 17 00:00:00 2001
From: Arnout Engelen <arnout@bzzt.net>
Date: Tue, 12 Mar 2019 15:50:54 +0100
Subject: [PATCH] Expect java11 for releasing

Refs #26278
---
 project/scripts/release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/scripts/release b/project/scripts/release
index 325b172126..ee4cf7b139 100755
--- a/project/scripts/release
+++ b/project/scripts/release
@@ -164,7 +164,7 @@ declare -r publish_path="${release_server}:${release_path}"
 
 JAVA_VERSION=`java -version 2>&1 | grep -E "java version|openjdk version" | cut -d '"' -f2 | cut -d '.' -f1`
 
-[[ $JAVA_VERSION -ge 9 ]] || fail "Java version is not at least 9"
+[[ $JAVA_VERSION -ge 11 ]] || fail "Java version is not at least 11"
 
 # check for a git command
 type -P git &> /dev/null || fail "git command not found"