diff options
-rw-r--r-- | ChangeLog | 7 | ||||
-rw-r--r-- | configure.in | 4 |
2 files changed, 8 insertions, 3 deletions
@@ -1,4 +1,9 @@ -nTue Oct 31 10:29:36 1995 steve chamberlain <sac@slash.cygnus.com> +Tue Oct 31 16:57:32 1995 Jim Wilson <wilson@chestnut.cygnus.com> + + * configure.in (copy_dirs): Use sys-include instead of include + for --with-headers option. + +Tue Oct 31 10:29:36 1995 steve chamberlain <sac@slash.cygnus.com> * Makefile.in, configure.in: Make winsup builds work with new scheme. diff --git a/configure.in b/configure.in index 9301f89..bc8c1b9 100644 --- a/configure.in +++ b/configure.in @@ -251,7 +251,7 @@ fi copy_dirs= # Handle --with-headers=XXX. The contents of the named directory are -# copied to $(tooldir)/include. +# copied to $(tooldir)/sys-include. if [ x"${with_headers}" != x ]; then if [ x${is_cross_compiler} = xno ]; then echo 1>&2 '***' --with-headers is only supported when cross compiling @@ -261,7 +261,7 @@ if [ x"${with_headers}" != x ]; then "") x=${prefix} ;; *) x=${exec_prefix} ;; esac - copy_dirs="${copy_dirs} ${with_headers} $x/${target_alias}/include" + copy_dirs="${copy_dirs} ${with_headers} $x/${target_alias}/sys-include" fi # Handle --with-libs=XXX. Multiple directories are permitted. The |