One line change to properly set the $mico_prefix

This commit is contained in:
Nat Friedman 1998-06-29 06:18:19 +00:00
parent 814694dfd4
commit f6eb25e04b

View file

@ -56,7 +56,7 @@ dnl various installed files
AC_MSG_CHECKING(for MICO prefix)
for dir in `(IFS=:; for i in $PATH; do echo $i ; done)` ; do
if test -f $dir/mico-ld ; then
mico_prefix=`echo $dir | sed 's%/bin$%%'`
mico_prefix=`echo $dir | sed 's%/bin$%%' |sed 's%/bin/$%%'`
fi
done