blob: 240a0979310edf5b3704d8a5995ea54c03656a90 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.orig 2018-06-29 12:40:33 UTC
+++ configure
@@ -3504,7 +3504,7 @@ then
$as_echo "jni_md.h found in $JAVA_HOME/$JAVA_INC" >&6; }
INCLUDES="$INCLUDES -I$JAVA_HOME/include -I$JAVA_HOME/$JAVA_INC"
else
- INCLUDES="$INCLUDES -I$JAVA_HOME/include -I$JAVA_HOME/include/$supported_os"
+ INCLUDES="$INCLUDES -I$JAVA_HOME/include -I$JAVA_HOME/include/$JAVA_OS"
fi
if test "$GCC" = "yes"
|
