diff options
| author | Ian Lance Taylor <ian@airs.com> | 1995-11-01 17:25:21 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1995-11-01 17:25:21 +0000 |
| commit | fba668022c1709457648f06d7100b1c35f157a04 (patch) | |
| tree | 7d9fa708849bd38edf127e6f42204370a2b1d3b1 /configure.in | |
| parent | c73b4ae6403e9a48644a9ddf555d9b657b870855 (diff) | |
| download | gdb-fba668022c1709457648f06d7100b1c35f157a04.zip gdb-fba668022c1709457648f06d7100b1c35f157a04.tar.gz gdb-fba668022c1709457648f06d7100b1c35f157a04.tar.bz2 | |
* configure.in: If the only directory in target_configdirs which
actually exists is libiberty, then set target_configdirs to empty,
to avoid trying to build a target libiberty in a gas or gdb
distribution.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 51da239..ff16a82 100644 --- a/configure.in +++ b/configure.in @@ -535,6 +535,23 @@ for dir in . $skipdirs $noconfigdirs ; do fi done +# Sometimes the tools are distributed with libiberty but with no other +# libraries. In that case, we don't want to build target-libiberty. +if [ -n "${target_configdirs}" ]; then + others= + for i in ${target_configdirs}; do + if [ "$i" != "libiberty" ]; then + if [ -r $srcdir/$i/configure ] || [ -r $srcdir/$i/configure.in ]; then + others=yes; + break; + fi + fi + done + if [ -z "${others}" ]; then + target_configdirs= + fi +fi + # Deconfigure all subdirectories, in case we are changing the # configuration from one where a subdirectory is supported to one where it # is not. |