Re: [VANILLA-LIST:3139] GNU make required

[Dave Ahn <ahn@vec.wfubmc.edu>]

On Tue, May 09, 2000 at 09:04:53AM +1000, James Cameron wrote:
> On Mon, May 08, 2000 at 01:54:33PM -0400, Dave Ahn wrote:
> > Use $(MAKE) instead of "make" in the Makefiles.
> 
> We're doing that already, just that system.mk.in has it hard coded.
> So I guess configure.in needs to have code that will detect the broken
> make, or the gmake, and use it instead.  Just want to figure out how.

Actually, MAKE should be uncommented in system.mk.in.  Almost all forms
of make will set MAKE...

-- 
Dave Ahn <ahn@vec.wfubmc.edu>        |  "When you were born, you cried and the
                                     |  world rejoiced.  Try to live your life
Virtual Endoscopy Center             |  so that when you die, you will rejoice
Wake Forest Univ. School of Medicine |  and the world will cry."  -1/2 jj^2