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