[coreboot-gerrit] Patch merged into coreboot/master: lint: Move the lint script out of Makefile.inc

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit e4fc407e3f6f3975e6abe2a7b4b9f907bcba2af5
Author: Martin Roth <martinroth at google.com>
Date:   Tue Oct 13 13:40:59 2015 -0600

    lint: Move the lint script out of Makefile.inc
    
    In preparation for adding junit xml to the lint tests, move the
    script out of Makefile.inc and into its own file.
    
    Add a copyright, usage, and error checking that was not needed
    inside the Makefile.
    
    Change-Id: I32bebc6a5f1f6fa652812c8a014d84006e2e6c8a
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: http://review.coreboot.org/11890
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit