|
|
# --- 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/java/sun-jdk15/config.in # ROCK Linux is Copyright (C) 1998 - 2006 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
|