summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRaja R Harinath <harinath@src.gnome.org>1998-07-13 17:30:57 +0000
committerRaja R Harinath <harinath@src.gnome.org>1998-07-13 17:30:57 +0000
commit620246c07c0cbc75e88fdc50d8d9e1f90ff4c1fd (patch)
tree005873dd619d651cc0a4965e881e064d6b619f2b
parent35ef17e3f7a44c6df2f680ef5fde825ac7326419 (diff)
downloadgnome-control-center-620246c07c0cbc75e88fdc50d8d9e1f90ff4c1fd.tar.gz
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>.
-rw-r--r--ChangeLog5
-rw-r--r--configure.in1
2 files changed, 6 insertions, 0 deletions
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