Tolerate GNU make that is not named "make"
commit6a3e4612a8b76b234a29a35fba3d3b211c1f75a1
authorKyle J. McKay <mackyle@gmail.com>
Mon, 10 Feb 2014 08:17:36 +0000 (10 00:17 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Mon, 10 Feb 2014 08:17:36 +0000 (10 00:17 -0800)
treed26e855496473ac71a8b54fb7750a5b051fd576e
parentefc876ce89984aec870480bb8b868972b36d18b4
Tolerate GNU make that is not named "make"

On some systems GNU make may not be named "make".  Handle this by
adding appropriate errors and using a MAKE variable to find the
actual GNU make executable.
INSTALL
Makefile
install.sh
jobs/updateweb.sh