On my system (ubuntu-server), /bin/sh is a symlink to /bin/dash. Running "make -f makefile.gnu" results in the error "/bin/sh: [[: not found". The easy fix to this problem is to include "SHELL := /bin/bash" near the top of the makefile.

GNU make uses /bin/sh by default and the /bin/bash syntax I used years ago never caused any problems for some reason. Looks like I need to revisit the makefile before the next release. Thanks for the heads up.

Andre