From 396d6d4dec22ceda7c1d0188c2925899988e2178 Mon Sep 17 00:00:00 2001 From: Jeff Williams Date: Fri, 7 Aug 2020 08:21:05 -0400 Subject: [PATCH] Fix bug in last commit --- scripts/find_linux_jnih | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/find_linux_jnih b/scripts/find_linux_jnih index ef4a95a..fb80486 100755 --- a/scripts/find_linux_jnih +++ b/scripts/find_linux_jnih @@ -5,7 +5,7 @@ then # JAVA_HOME not set. Figure out what to use for it. 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/^^') + JAVA_HOME=$(echo $JAVA_HOME | sed 's^/bin^^') fi echo // +build linux,!android > jni_linux.tmp