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"
50 case "$JDK" in
76 # and "-XMaxPermSize" not supported by JDK 9
80 case "$JDK" in
96 …mvn -V -B -e verify -Djdk.version=${JDK} -Dbytecode.version=${JDK} -Decj=${ECJ:-} --toolchains=./.…
100   mvn -V -B -e verify -Dbytecode.version=${JDK} \
109   echo "Incorrect JDK [$JDK]"