diff options
| author | Ian Lance Taylor <ian@airs.com> | 1994-01-07 01:15:41 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1994-01-07 01:15:41 +0000 |
| commit | 6d1603ccf206025d81f412945446d34f50c40683 (patch) | |
| tree | ee0e84a82fc781094df6d2c6181fd50bba357dfb /configure.in | |
| parent | fd0e2cf2d56e6adabdc0000f6afbb037c954812d (diff) | |
| download | gdb-6d1603ccf206025d81f412945446d34f50c40683.zip gdb-6d1603ccf206025d81f412945446d34f50c40683.tar.gz gdb-6d1603ccf206025d81f412945446d34f50c40683.tar.bz2 | |
* configure.in: Correct test for --with-gnu-as and
--with-gnu-ld to not get confused by substring matches.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.in b/configure.in index d565791..783d1a6 100644 --- a/configure.in +++ b/configure.in @@ -299,14 +299,14 @@ fi # --without-gnu-ld options for the configure script. if [ x${use_gnu_as} = x ] ; then - if [ x${with_gnu_as} != xno ] && echo ${configdirs} | grep "${gasdir} " > /dev/null 2>&1 && [ -d ${srcdir}/${gasdir} ] ; then + if [ x${with_gnu_as} != xno ] && echo " ${configdirs} " | grep " ${gasdir} " > /dev/null 2>&1 && [ -d ${srcdir}/${gasdir} ] ; then with_gnu_as=yes withoptions="$withoptions --with-gnu-as" fi fi if [ x${use_gnu_ld} = x ] ; then - if [ x${with_gnu_ld} != xno ] && echo ${configdirs} | grep ld > /dev/null 2>&1 && [ -d ${srcdir}/ld ] ; then + if [ x${with_gnu_ld} != xno ] && echo " ${configdirs} " | grep " ld " > /dev/null 2>&1 && [ -d ${srcdir}/ld ] ; then with_gnu_ld=yes withoptions="$withoptions --with-gnu-ld" fi |