1
0
forked from gmp/jni

Fix bug in last commit

This commit is contained in:
Jeff Williams 2020-08-07 08:21:05 -04:00
parent 3310c43bcf
commit 396d6d4dec

View File

@ -5,7 +5,7 @@ then
# JAVA_HOME not set. Figure out what to use for it. # JAVA_HOME not set. Figure out what to use for it.
JAVA_HOME=$(dirname $(readlink -f $(which java) | sed 's^jre/bin/^^')) JAVA_HOME=$(dirname $(readlink -f $(which java) | sed 's^jre/bin/^^'))
# Handle the case where java is being run from the jdk itself, not from within the jre # Handle the case where java is being run from the jdk itself, not from within the jre
JAVA_HOME=$(echo $JAVA_HOME | sed 's^bin/^^') JAVA_HOME=$(echo $JAVA_HOME | sed 's^/bin^^')
fi fi
echo // +build linux,!android > jni_linux.tmp echo // +build linux,!android > jni_linux.tmp