On Nov 3, 2007, at 11:47 PM, Bernd Petrovitsch wrote: > I don't know about BSDs and > their default `make`. Or is there everyone using `gmake`? no. Used to be a different make. I think it still is not gnu by default. a. --- there's no place like 127.0.0.1