Do not set JAVA_TOOL_OPTIONS on Linux (#1467)

This ensures that a) the `JAVA_TOOL_OPTIONS` environment variable is not set, which avoids additional output from some Java tools, and that b) the default Java file encoding is not changed.

For more details, see #1437.
This commit is contained in:
Fabio Niephaus
2020-08-21 15:49:48 +02:00
committed by GitHub
parent 1ebce5e29c
commit cd8b41b5ef

View File

@@ -46,7 +46,6 @@ if isUbuntu16 || isUbuntu18 ; then
echo "JAVA_HOME_12_X64=/usr/lib/jvm/adoptopenjdk-12-hotspot-amd64" | tee -a /etc/environment
fi
echo "JAVA_HOME=/usr/lib/jvm/adoptopenjdk-${DEFAULT_JDK_VERSION}-hotspot-amd64" | tee -a /etc/environment
echo "JAVA_TOOL_OPTIONS=-Dfile.encoding=UTF8" | tee -a /etc/environment
# Install Ant
apt-fast install -y --no-install-recommends ant ant-optional