Joern Eyrich <Joern.Eyrich at syngenio.de> wrote:
> I guess this has only ever been tried with gnu make; using "gmake" instead of
> "make" on the SF compile farm works for me.

Exactly.
 


> Instead, I *think* it might be a little bit more portable to change
>    PLUGINS_O:=$(PLUGINS_O) ...
> into
>    PLUGINS_O +=  ...
> 

Cool!  Can anyone find a reference that this might be portable?  Or more
generally, what might be portable across different make's?  This is the
hardest GNU-ism I know of in these makefiles.  If += is portable, then
let's switch!  We should probably kill *all* instances of ":=" as long
as we can keep the speed reasonable.


Lex

PS -- still,  being forced to use GNU make wouldn't be the worst thing
in the world.