Stop searching as soon as a `mico-ld' is found. From Michael Lausch
* configure.in (mico_prefix): Stop searching as soon as a `mico-ld' is found. From Michael Lausch <mla@gams.co.at>.
This commit is contained in:
parent
35ef17e3f7
commit
620246c07c
2 changed files with 6 additions and 0 deletions
|
@ -1,3 +1,8 @@
|
||||||
|
1998-07-13 Raja R Harinath <harinath@cs.umn.edu>
|
||||||
|
|
||||||
|
* configure.in (mico_prefix): Stop searching as soon as a
|
||||||
|
`mico-ld' is found. From Michael Lausch <mla@gams.co.at>.
|
||||||
|
|
||||||
1998-07-08 Federico Mena Quintero <federico@nuclecu.unam.mx>
|
1998-07-08 Federico Mena Quintero <federico@nuclecu.unam.mx>
|
||||||
|
|
||||||
* configure.in: Added applets/fifteen/Makefile to the list.
|
* configure.in: Added applets/fifteen/Makefile to the list.
|
||||||
|
|
|
@ -57,6 +57,7 @@ AC_MSG_CHECKING(for MICO prefix)
|
||||||
for dir in `(IFS=:; for i in $PATH; do echo $i ; done)` ; do
|
for dir in `(IFS=:; for i in $PATH; do echo $i ; done)` ; do
|
||||||
if test -f $dir/mico-ld ; then
|
if test -f $dir/mico-ld ; then
|
||||||
mico_prefix=`echo $dir | sed 's%/bin$%%' |sed 's%/bin/$%%'`
|
mico_prefix=`echo $dir | sed 's%/bin$%%' |sed 's%/bin/$%%'`
|
||||||
|
break
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue