diff --git a/src/configure.in b/src/configure.in index 45ecc9117bb..6255da8ba15 100644 --- a/src/configure.in +++ b/src/configure.in @@ -96,30 +96,28 @@ host="`echo $host | tr '[[A-Z]]' '[[a-z]]'`" if test -f "template/$host" then TEMPLATE="$host" else - # Next try for an exact match to a .similar entry. - # There shouldn't be multiple matches, but take the last if there are. - GUESS=`grep "^$host=" template/.similar | sed 's/^.*=//' | tail -1` + # Scan template/.similar for a rule that tells us which template to use. + # The format of each line of the file is + # hostnamepattern=templatefilename + # where the hostnamepattern is evaluated per the rules of expr(1) --- + # namely, it is a standard regular expression with an implicit ^ at the + # start. If multiple lines match, we will end up using the last match. + GUESS="" + exec 4