diff options
Diffstat (limited to 'devel/jakarta-commons-daemon/files/patch-configure')
| -rw-r--r-- | devel/jakarta-commons-daemon/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/jakarta-commons-daemon/files/patch-configure b/devel/jakarta-commons-daemon/files/patch-configure new file mode 100644 index 000000000000..240a0979310e --- /dev/null +++ b/devel/jakarta-commons-daemon/files/patch-configure @@ -0,0 +1,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" |