2.1.95: configure doesn't search $PATH to find make

[Patrick Smith]

With make 3.77 in /usr/bin/make and make 3.79 in another directory,
which appears earlier in my $PATH, if I type

        /PATH-TO_SOURCE/configure ...

then configure finds make 3.77 and refuses to proceed.

If I type (in bash)

        MAKE=`type -path make` /PATH-TO_SOURCE/configure ...

then configure finds make 3.79 and is content.

As make will normally be invoked through the user's $PATH by the user
typing 'make' at a shell prompt, shouldn't configure also locate make in
this fashion?

By the way, is anything up with www-gnats.gnu.org:8080?  Over the last
couple of weeks, I've tried to follow the links from
www.gnu.org/software/libc/libc.html many times and always got
'connection refused'.
-- 
address@hidden