diff options
| author | Matthias Klose <doko@debian.org> | 2000-10-16 16:00:43 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2000-10-16 10:00:43 -0600 |
| commit | be1db8737b097de55bfe00dbc7f48342724603fc (patch) | |
| tree | 6c7c7624db8e7af85b0726a656553a1ed7dd163c /config.if | |
| parent | 4d231df749a870f47fe356b27193a96be1efc0a1 (diff) | |
| download | gcc-be1db8737b097de55bfe00dbc7f48342724603fc.zip gcc-be1db8737b097de55bfe00dbc7f48342724603fc.tar.gz gcc-be1db8737b097de55bfe00dbc7f48342724603fc.tar.bz2 | |
config.if: Search libstdc++-v3/configure.in for INTERFACE, when configured for libstdc++-v3.
* config.if: Search libstdc++-v3/configure.in for INTERFACE,
when configured for libstdc++-v3.
From-SVN: r36881
Diffstat (limited to 'config.if')
| -rw-r--r-- | config.if | 11 |
1 files changed, 4 insertions, 7 deletions
@@ -23,15 +23,12 @@ fi if [ "${enable_libstdcxx_v3}" = "yes" ] ; then libstdcxx_srcdir=${if_topsrcdir}/libstdc++-v3 + # We check libstdc++-v3/configure.in for libstdcxx_interface. + libstdcxx_interface=`grep "^INTERFACE" ${libstdcxx_srcdir}/configure.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` else libstdcxx_srcdir=${if_topsrcdir}/libstdc++ -fi - -if [ -f ${libstdcxx_srcdir}/Makefile.in ]; then -# We check libstdc++ for libstdcxx_interface. -libstdcxx_interface=`grep "^INTERFACE" ${libstdcxx_srcdir}/Makefile.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` -else -libstdcxx_interface= + # We check libstdc++/Makefile.in for libstdcxx_interface. + libstdcxx_interface=`grep "^INTERFACE" ${libstdcxx_srcdir}/Makefile.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` fi if [ -f ${if_topsrcdir}/gcc/cp/Makefile.in ]; then |