andreasgal/B2G — Issue #125: Use $(MAKE) instead of make in the top-level Makefile
Author: cgjones
Created: 2012-01-10 23:49:18+00:00
State: open

This avoids the following problems:

1) The " make[1]: warning: jobserver unavailable: using -j1. Add `+' to parent make rule" warning when -j is manually specified on the command line. Eg, "$ make -j100 gonk"

2) Avoids breakage should anybody like to call make something else, like gmake, or which to invoke and make when not in the path. Eg "$ ~/tmp/make gonk"