diff options
-rwxr-xr-x | configure | 3 | ||||
-rw-r--r-- | configure.in | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/configure b/configure index a7a2acfc1f..ad34c579e1 100755 --- a/configure +++ b/configure @@ -4429,7 +4429,8 @@ echo "$as_me: WARNING: # 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 -isystem $sysheaders" + SYSINCLUDES="-nostdinc -isystem $ccheaders \ +-isystem `echo $sysheaders | sed 's/:/ -isystem /g'`" fi diff --git a/configure.in b/configure.in index 665786e182..22f726e3bb 100644 --- a/configure.in +++ b/configure.in @@ -799,7 +799,8 @@ test -n "$aux_missing" && AC_MSG_WARN([ # 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 -isystem $sysheaders" + SYSINCLUDES="-nostdinc -isystem $ccheaders \ +-isystem `echo $sysheaders | sed 's/:/ -isystem /g'`" fi AC_SUBST(SYSINCLUDES) |