diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 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 |