[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:
>
*snip*
>
> 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?
AFAIK no.
> 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.
Regards,
Ralf
- gnu vs bsd make, Patrick Welche, 2004/10/28
- Re: gnu vs bsd make,
Ralf Wildenhues <=