[coreboot-gerrit] Patch merged into coreboot/master: util/lint: update lint-000-license-headers

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 84129b8c6858c6d27e4e42f2b06a3b30e907e668
Author: Martin Roth <martinroth at google.com>
Date:   Mon Apr 11 13:35:59 2016 -0600

    util/lint: update lint-000-license-headers
    
    - Add some additional filters for files that do not require
    license headers.
    - Add an alternative wording for the BSD license that is used
    in several files.
    - Add string for dummy files
    - Stop checking if there are no files left.
    - Remove 'local' keyword which is not posix compliant.
    
    Change-Id: I2ed1b0572b5fbe84ea86173b7ec2106454399547
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/14324
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See https://review.coreboot.org/14324 for details.

-gerrit