build: use $(MAKE) instead of make
commit88d138395e353c636ebc777844d8f231524aab37
authorNicola Fontana <ntd@entidi.it>
Wed, 21 Jan 2015 16:24:24 +0000 (21 17:24 +0100)
committerNicola Fontana <ntd@entidi.it>
Wed, 21 Jan 2015 16:24:24 +0000 (21 17:24 +0100)
tree45228ef9cd0fbdadb9b23d7c27b16ae0c7dcb0b9
parenta7b71515e766d0ed0033bcb6910f59dae859edfa
build: use $(MAKE) instead of make

Avoid to assume the make binary is called make: on *BSD platforms it is
called gmake.
Makefile.am