Makefile, INSTALL: warn that GNU make is required
authorG.raud <graud@gmx.com>
Sat, 2 Feb 2013 10:34:51 +0000 (11:34 +0100)
committerG.raud <graud@gmx.com>
Tue, 28 May 2013 02:38:17 +0000 (04:38 +0200)
commit932088d014f2a0a0c4fb0d5fcb1818c820720bb8
treedabed32c03821069650452a3019eb1d267369c68
parent8fee69396a0a558ec10617ded39292a8b911135d
Makefile, INSTALL: warn that GNU make is required

INSTALL: list GNU make as a required dependency.

GNU specific functions ifdef and include are called; some non portable special
variables, like $(shell), are used.
INSTALL
Makefile