|
|
@ -0,0 +1,38 @@ |
|
|
|
# --- ROCK-COPYRIGHT-NOTE-BEGIN --- |
|
|
|
# |
|
|
|
# This copyright note is auto-generated by ./scripts/Create-CopyPatch. |
|
|
|
# Please add additional copyright information _after_ the line containing |
|
|
|
# the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by |
|
|
|
# the ./scripts/Create-CopyPatch script. Do not edit this copyright text! |
|
|
|
# |
|
|
|
# ROCK Linux: rock-src/package/base/bash/preconfig.in |
|
|
|
# ROCK Linux is Copyright (C) 1998 - 2005 Clifford Wolf |
|
|
|
# |
|
|
|
# This program is free software; you can redistribute it and/or modify |
|
|
|
# it under the terms of the GNU General Public License as published by |
|
|
|
# the Free Software Foundation; either version 2 of the License, or |
|
|
|
# (at your option) any later version. A copy of the GNU General Public |
|
|
|
# License can be found at Documentation/COPYING. |
|
|
|
# |
|
|
|
# Many people helped and are helping developing ROCK Linux. Please |
|
|
|
# have a look at http://www.rocklinux.org/ and the Documentation/TEAM |
|
|
|
# file for details. |
|
|
|
# |
|
|
|
# --- ROCK-COPYRIGHT-NOTE-END --- |
|
|
|
|
|
|
|
if pkgcheck sun-jdk14 X || pkgcheck sun-jdk15 X |
|
|
|
then |
|
|
|
menu_begin MENU_PKG_JDK_AND_JRE 'Java Development Kit (JDK) and Runtime Environment (JRE) Options' |
|
|
|
|
|
|
|
# we choose to select the newest jdk/jre available as default |
|
|
|
for N in sun-jdk14 sun-jdk15; do |
|
|
|
if pkgcheck $N X ; then |
|
|
|
javadefselect="$javadefselect $N 'Using $N as default JDK/JRE'" |
|
|
|
javadefault=$N |
|
|
|
fi |
|
|
|
done |
|
|
|
|
|
|
|
eval "choice ROCKCFG_JAVA_DEFAULT_JDK_JRE $javadefault $javadefselect" |
|
|
|
|
|
|
|
menu_end |
|
|
|
fi |