From 00e84443a6575967eea319c5bcf0916885e264c5 Mon Sep 17 00:00:00 2001
From: huangji <huangji@iscas.ac.cn>
Date: Wed, 9 Apr 2025 17:56:17 +0800
Subject: [PATCH] support with_jdk option

Signed-off-by: huangji <huangji@iscas.ac.cn>
---
 configure | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 02d3c947a9..6bb058515b 100755
--- a/configure
+++ b/configure
@@ -6993,8 +6993,11 @@ fi
 #
 # JDK
 #
-with_jdk=''
-if [[ ! -z "${with_3rdpartydir}" ]] && [[ "$with_openeuler_os" != yes ]]; then
+# Check whether --with-jdk was given.
+if test "${with_jdk+set}" != set; then
+  with_jdk=''
+fi
+if [[ -z "$with_jdk" ]] && [[ ! -z "${with_3rdpartydir}" ]] && [[ "$with_openeuler_os" != yes ]]; then
     cpuarch=$(uname -m)
     for d in "openjdk8" "huaweijdk8"; do
         $as_echo "$as_me:$LINENO: checking for jdk in ${with_3rdpartydir}/kernel/platform/${d}/${cpuarch}" >&5
-- 
Gitee