* configure.in: Correct test for --with-gnu-as and
authorIan Lance Taylor <ian@airs.com>
Fri, 7 Jan 1994 01:15:41 +0000 (01:15 +0000)
committerIan Lance Taylor <ian@airs.com>
Fri, 7 Jan 1994 01:15:41 +0000 (01:15 +0000)
--with-gnu-ld to not get confused by substring matches.

configure.in

index d5657915265c2c0465666aef020abcd03f5435b2..783d1a633cbc495112423dd11168fa62d08ebfca 100644 (file)
@@ -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
This page took 0.025328 seconds and 4 git commands to generate.