[coreboot-gerrit] Patch merged into coreboot/master: Makefile.inc: use correct make

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit d09b32b668f0f131144710f561d36eef72cb5625
Author: Jonathan A. Kollasch <jakllsch at kollasch.net>
Date:   Mon Aug 10 12:15:40 2015 -0500

    Makefile.inc: use correct make
    
    Change-Id: I4ff1da3fcb787d72ba58b976f73a57ccc0e1c260
    Signed-off-by: Jonathan A. Kollasch <jakllsch at kollasch.net>
    Reviewed-on: http://review.coreboot.org/11155
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See http://review.coreboot.org/11155 for details.

-gerrit