diff options
Diffstat (limited to 'scripts/patch_gson.sh')
| -rwxr-xr-x | scripts/patch_gson.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/scripts/patch_gson.sh b/scripts/patch_gson.sh index 348f01f..7d40e29 100755 --- a/scripts/patch_gson.sh +++ b/scripts/patch_gson.sh @@ -5,11 +5,8 @@ set -e -# Needed if you have a java version other than 11 as default -# and used if java_home is available -if [ -f /usr/libexec/java_home ] ; then - JAVA_HOME=$(/usr/libexec/java_home -v 11) -fi +# Check JAVA_HOME points to java 11 +./scripts/check_java_home.sh # Download Gson jar cd modules |