Merge pull request #3265 from vasild/fix/make_command
use $(MAKE) instead of 'make' in Makefiles (follow-up to f3dc11c)
Jeromy Johnson committed
Sep 28, 2016 at 12:58 UTC
abe44b86acd87a59a67ec17f55e7e744adccb55b
No changes.