On Mon, Sep 19, 2016 at 04:10:59PM +0200, Leon Timmermans wrote: > Which make do you use? Gnu make or BSD make? I'm using the default BSD make that ships with FreeBSD 9.3. Tom