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