From e50ec9f91d798e00154dc089037b25e6de1fe894 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Wed, 19 Jun 1996 14:52:21 +0000 Subject: Mon Jun 17 19:09:49 1996 Andreas Schwab * Make-dist (+sysdeps): Move wildcard inside loop to avoid consing up a huge list just to discard most of it. * configure.in (sysnames): Avoid fgrep by using the case shell builtin. * Makeconfig (config.status): Fix dependency on Implies files. --- configure.in | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'configure.in') diff --git a/configure.in b/configure.in index e8e9121efd..38efc2edea 100644 --- a/configure.in +++ b/configure.in @@ -233,15 +233,15 @@ sysnames="`echo $sysnames | sed -e 's@^/@@' -e 's@ /@ @g'`" # Expand the list of system names into a full list of directories # from each element's parent name and Implies file (if present). set $sysnames -names= seen= +names= while test $# -gt 0; do name=$1 shift - if echo "$seen" | fgrep -x $name >/dev/null; then + case " $names " in *" $name "*) # Already in the list. continue - fi + esac # Report each name as we discover it, so there is no long pause in output. echo $ac_n "$name $ac_c" >&AC_FD_MSG @@ -260,9 +260,6 @@ while test $# -gt 0; do # Add NAME to the list of names. names="$names $name" - # We maintain a parallel newline-separated list for the fgrep check above. - seen="$seen -$name" # Find the parent of NAME, using the empty string if it has none. changequote(,)dnl -- cgit 1.4.1