diff options
| author | H.J. Lu <hjl@gnu.org> | 1998-08-30 21:15:53 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 1998-08-30 15:15:53 -0600 |
| commit | a3cbd1056018f77767c51169da39a6afe46bad11 (patch) | |
| tree | 8111a666148beaaa3b09fb822d566320e554160d /configure | |
| parent | c4acd909d504a0b768162f3ba267e45730d1c3b3 (diff) | |
| download | gcc-a3cbd1056018f77767c51169da39a6afe46bad11.tar.gz | |
configure (gxx_include_dir): Changed to '${prefix}/include/g++'-${libstdcxx_interface}.
* configure (gxx_include_dir): Changed to
'${prefix}/include/g++'-${libstdcxx_interface}.
* config.if: New to determine the interfaces.
From-SVN: r22109
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure index 99e35e9a364..d194ff11737 100755 --- a/configure +++ b/configure @@ -1259,7 +1259,8 @@ EOF 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} + . ${topsrcdir}/config.if + echo gxx_include_dir = '${prefix}/include/g++'-${libstdcxx_interface} >> ${Makefile} fi else echo gxx_include_dir = ${gxx_include_dir} >> ${Makefile} |