blob: a26cfa3271d4632a12c25ea20133cde530ad6a61 (
plain) (
blame)
1
2
3
4
5
6
7
|
persistent_remove BUILD_JDK &&
if spell_ok $SPELL; then
BUILD_JDK=$SPELL
else
local JDKS=$(gaze provides JDK12 | grep -v "^$SPELL\$" | tail +2) &&
config_query_list BUILD_JDK "Which JDK provider do you want to use to build ${SPELL}?" $JDKS
fi
|