diff options
| author | Jeff Law <law@gcc.gnu.org> | 1998-10-18 11:37:10 -0600 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 1998-10-18 11:37:10 -0600 |
| commit | 1b8a4ef39ffdd1f2f23d511b5d28f007246cb5a9 (patch) | |
| tree | c4dfbaa86792b93b18b2e73cf9f83568a5af8e08 /config.if | |
| parent | 35cd256514bb468d44cb1b83ed7e1230c59bb11f (diff) | |
| download | gcc-1b8a4ef39ffdd1f2f23d511b5d28f007246cb5a9.tar.gz | |
config.if (cxx_interface, [...]): Do not try to set these if the appropriate directories and files to not exist.
P
* config.if (cxx_interface, libstdcxx_interface): Do not try to set
these if the appropriate directories and files to not exist.
From-SVN: r23166
Diffstat (limited to 'config.if')
| -rw-r--r-- | config.if | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config.if b/config.if index 795119e65e6..bcc026908d8 100644 --- a/config.if +++ b/config.if @@ -21,11 +21,19 @@ else if_topsrcdir=${top_srcdir} fi +if [ -f ${if_topsrcdir}/libstdc++/Makefile.in ]; then # We check libstdc++ for libstdcxx_interface. libstdcxx_interface=`grep "^INTERFACE" ${if_topsrcdir}/libstdc++/Makefile.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` +else +libstdcxx_interface= +fi +if [ -f ${if_topsrcdir}/gcc/cp/Makefile.in ]; then # We check gcc/cp for cxx_interface. cxx_interface=`grep "^INTERFACE" ${if_topsrcdir}/gcc/cp/Makefile.in | sed 's/INTERFACE[ ]*=[ ]*\(.*\)/\1/'` +else +cxx_interface= +fi # The trickiest part is libc_interface. if [ -z "${libc_interface}" ] |