diff options
| author | Jason Merrill <jason@redhat.com> | 2000-07-22 08:20:10 +0000 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2000-07-22 08:20:10 +0000 |
| commit | 3d6c7e9f2c8853fb559dd470d4ef5d352b780f8f (patch) | |
| tree | 274ca69ef5e77c90a0e240d5b6b07f8e317a6f8f /config.if | |
| parent | 0d29b606a504070a48e6c10daa5f2ac65578e254 (diff) | |
| download | gdb-3d6c7e9f2c8853fb559dd470d4ef5d352b780f8f.tar.gz | |
merge with gcc
Diffstat (limited to 'config.if')
| -rw-r--r-- | config.if | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/config.if b/config.if index bcc026908d8..625a4077ec0 100644 --- a/config.if +++ b/config.if @@ -21,9 +21,15 @@ else if_topsrcdir=${top_srcdir} fi -if [ -f ${if_topsrcdir}/libstdc++/Makefile.in ]; then +if [ "${enable_libstdcxx_v3}" = "yes" ] ; then + libstdcxx_srcdir=${if_topsrcdir}/libstdc++-v3 +else + libstdcxx_srcdir=${if_topsrcdir}/libstdc++ +fi + +if [ -f ${libstdcxx_srcdir}/Makefile.in ]; then # We check libstdc++ for libstdcxx_interface. -libstdcxx_interface=`grep "^INTERFACE" ${if_topsrcdir}/libstdc++/Makefile.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` +libstdcxx_interface=`grep "^INTERFACE" ${libstdcxx_srcdir}/Makefile.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` else libstdcxx_interface= fi |