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

[Andreas Jaeger]

>>>>> Patrick Smith writes:

 > 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.
Configure your system correctly - we search for:
gnumake, gmake and then make in the path (see configure for details).

 > 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?
It does, I don't understand why it doesn't work for you.

 > 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'.


www-gnats is broken currently, the machine is moving. :-(

Andreas
-- 
 Andreas Jaeger
  SuSE Labs address@hidden
   private address@hidden
    http://www.suse.de/~aj