Lines Matching full:jdk

24 # Switch to desired JDK, download if required:
30   rm -rf /tmp/jdk/$JDK
31   mkdir -p /tmp/jdk/$JDK
33   if [ ! -f "/tmp/jdk/$FILENAME" ]
35     curl -L $JDK_URL -o /tmp/jdk/$FILENAME
38   tar -xzf /tmp/jdk/$FILENAME -C /tmp/jdk/$JDK --strip-components 1
42     jdk_switcher "/tmp/jdk/$JDK"
46 case "$JDK" in
71 # and "-XMaxPermSize" not supported by JDK 9
76 case "$JDK" in
105   echo "Incorrect JDK [$JDK]"