From 620246c07c0cbc75e88fdc50d8d9e1f90ff4c1fd Mon Sep 17 00:00:00 2001
From: Raja R Harinath <harinath@src.gnome.org>
Date: Mon, 13 Jul 1998 17:30:57 +0000
Subject: [PATCH] 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>.
---
 ChangeLog    | 5 +++++
 configure.in | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index fbcb41236..0beb8f052 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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>
 
 	* configure.in: Added applets/fifteen/Makefile to the list.
diff --git a/configure.in b/configure.in
index b3f42a833..70acc7a61 100644
--- a/configure.in
+++ b/configure.in
@@ -57,6 +57,7 @@ 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$%%' |sed 's%/bin/$%%'`
+     break
   fi
 done