s3:Makefile: use our "$MAKE" instead of "make" in our own Makefile
authorBjörn Jacke <bj@sernet.de>
Mon, 25 Jun 2012 17:44:24 +0000 (19:44 +0200)
committerBjoern Jacke <bj@sernet.de>
Mon, 25 Jun 2012 20:43:49 +0000 (22:43 +0200)
commitb2ba94b146923573f4203d17474777bb4c30cea8
treee63b48feb3dcaa0f0c9ce1dd32b4fc1ddbe3c959
parent5c31e5d553c9db748e0ca83b83bf9f0ca3261440
s3:Makefile: use our "$MAKE" instead of "make" in our own Makefile
source3/Makefile.in