diff options
Diffstat (limited to 'java/openjdk12/PREPARE')
| -rwxr-xr-x | java/openjdk12/PREPARE | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/java/openjdk12/PREPARE b/java/openjdk12/PREPARE new file mode 100755 index 0000000000..a26cfa3271 --- /dev/null +++ b/java/openjdk12/PREPARE @@ -0,0 +1,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 |