BSD make != GNU make

Discussing some differences between the BSD and GNU variants of make(1).