diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/configure b/configure index 1f2cd4fc53..4b969787e3 100755 --- a/configure +++ b/configure @@ -5065,8 +5065,12 @@ echo "$as_me: WARNING: # header directory and add that to the list. NOTE: Only does the right # thing on a system that doesn't need fixincludes. (Not presently a problem.) if test -n "$sysheaders"; then - ccheaders=`$CC -print-file-name=include` - SYSINCLUDES="-nostdinc -isystem $ccheaders \ + SYSINCLUDES=-nostdinc + for d in include include-fixed; do + i=`$CC -print-file-name="$d"` && test "x$i" != "x$d" && + SYSINCLUDES="$SYSINCLUDES -isystem $i" + done + SYSINCLUDES="$SYSINCLUDES \ -isystem `echo $sysheaders | sed 's/:/ -isystem /g'`" if test -n "$CXX"; then cxxversion=`$CXX -dumpversion 2>&5` && |