From f890b212fb3498108f0964d4acc8f44f657bb5bc Mon Sep 17 00:00:00 2001 From: law Date: Wed, 29 Jul 1998 23:13:57 +0000 Subject: 1998-07-29 Manfred Hollstein * configure: Fix --without/--disable cases for gxx-include-dir. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@21486 138bc75d-0d04-0410-961f-82ee72b054a4 --- configure | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) (limited to 'configure') diff --git a/configure b/configure index af334067649..99e35e9a364 100755 --- a/configure +++ b/configure @@ -1240,14 +1240,29 @@ 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 "${with_gxx_include_dir}"; then + # Check whether --with-gxx-include-dir or --without-gxx-include-dir was given. + gxx_include_dir= + if test -n "${with_gxx_include_dir}"; then + case "${with_gxx_include_dir}" in + yes ) + echo "configure: error: bad value ${withval} given for g++ include directory" 1>&2 + exit 1 + ;; + no ) + ;; + * ) + gxx_include_dir=${with_gxx_include_dir} + ;; + esac + fi + if test x${gxx_include_dir} = x; then if test x${enable_version_specific_runtime_libs} = xyes; then echo gxx_include_dir = '${libsubdir}/include/g++' >> ${Makefile} else echo gxx_include_dir = '${prefix}/include/g++' >> ${Makefile} fi else - echo gxx_include_dir = ${with_gxx_include_dir} >> ${Makefile} + echo gxx_include_dir = ${gxx_include_dir} >> ${Makefile} fi # record if we want to build shared libs. -- cgit v1.2.1