jeffwilliams/jni
1
0
Fork 0
forked from gmp/jni
Code

Make find_linux_jnih more robust.

Browse Source
This commit is contained in:
Jeff Williams 2020-08-07 08:05:48 -04:00
parent 15a239885b
commit 3310c43bcf
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
scripts/find_linux_jnih
View File

@ -1,8 +1,14 @@
#!/bin/bash #!/bin/bash
if [ -z ${JAVA_HOME+x} ]
then
# 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
JAVA_HOME=$(echo $JAVA_HOME | sed 's^bin/^^')
fi
echo // +build linux > jni_linux.tmp echo // +build linux,!android > jni_linux.tmp
echo //Generated by scripts/find_linux_jnih >> jni_linux.tmp echo //Generated by scripts/find_linux_jnih >> jni_linux.tmp
echo >> jni_linux.tmp echo >> jni_linux.tmp
echo package jni >> jni_linux.tmp echo package jni >> jni_linux.tmp