[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gnu vs bsd make

From: Ralf Wildenhues
Subject: Re: gnu vs bsd make
Date: Fri, 29 Oct 2004 10:07:32 +0200
User-agent: Mutt/1.4.1i

* Patrick Welche wrote on Thu, Oct 28, 2004 at 06:29:27PM CEST:
> I just came across a difference between between GNU make and BSD make:
> In otherwords, we need $(var)/bar as the dependency for success
> with bsd make. Why is this relevant to libtool?
> In bootstrap "make" is called 3 times, which might end up being a
> non-GNU make and AFAIK we don't say "you must use gnu make" anywhere
> - do we?


> If make = bsd make, then
>   make: don't know how to make stamp-vcl. Stop
> which the attached trivial patch fixes. I haven't looked for other
> instances..

Thanks for the report.  I'm checking this in on branch-2-0 and HEAD,
fixing also the instances you missed.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]