| #!/bin/bash |
| |
| if [ "$1" == "" ] |
| then |
| echo "Set current Java version level" |
| echo "" |
| echo "Use : $0 <version number>" |
| echo "Example: $0 17" |
| echo " Java set to: /usr/lib/jvm/java-17-openjdk-amd64/bin/java" |
| exit 1 |
| fi |
| |
| export JAVA_HOME=/usr/lib/jvm/java-$1-openjdk-amd64 |
| export PATH=$JAVA_HOME/bin:$JAVA_HOME/jre/bin:$PATH |
| |
| echo "Java set to: $(which java)" |
| |
| if [[ "$1" == "11" || "$1" == "17" ]] |
| then |
| # See Bazel Issue 3236 with Java 11/17 [https://github.com/bazelbuild/bazel/issues/3236] |
| export BAZEL_OPTS="$BAZEL_OPTS --sandbox_tmpfs_path=/tmp" |
| fi |
| |
