diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure index dd9ed1d20b3..e06197e71c3 100755 --- a/configure +++ b/configure @@ -81,7 +81,7 @@ subdirs= target_alias=NOTARGET target_makefile_frag= undefs=NOUNDEFS -version="$Revision: 1.2 $" +version="$Revision: 1.3 $" x11=default ### we might need to use some other shell than /bin/sh for running subshells @@ -1174,10 +1174,10 @@ EOF # provide a proper gxx_include_dir to all subdirs. # Note, if you change the default, make sure to fix both here # and in the gcc subdirectory. - if test -z "${gxx_include_dir}"; then + if test -z "${with_gxx_include_dir}"; then echo gxx_include_dir = '${prefix}/include/g++' >> ${Makefile} else - echo gxx_include_dir = ${gxx_include_dir} >> ${Makefile} + echo gxx_include_dir = ${with_gxx_include_dir} >> ${Makefile} fi # reset prefix, exec_prefix, srcdir, SUBDIRS, NONSUBDIRS, |