summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2004-09-16 23:22:05 +0000
committerRoland McGrath <roland@gnu.org>2004-09-16 23:22:05 +0000
commit3d6ce23a90fea094d77b5e2f5574d10e5ecb9d61 (patch)
tree5aa78e2b87006d6bf7083696ee3091eb62a1212a /configure
parent62417d7ee84a198103fbc5e871bf35e0d5efc4d0 (diff)
2004-09-16 Roland McGrath <roland@redhat.com>
* configure.in (--with-headers): Let argument contain a : separated list of directories to use, not just one. * configure: Regenerated.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
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