[coreboot-gerrit] Patch merged into coreboot/master: lint/lint-stable-004-style-labels: Update script

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit e03305358ffa30dbb89adbd0c6c26710c2a1be20
Author: Martin Roth <martinroth at google.com>
Date:   Wed Mar 30 13:56:23 2016 -0600

    lint/lint-stable-004-style-labels: Update script
    
    - Look at entire tree instead of just the current commit.  This was
    causing the test to overlook some issues that were already in the tree.
    - If git is on the system, and the code is in a git repo, use the
    'git ls-files' command to find the files to examine.  If those
    conditions aren't met, fall back to using the find command.
    - Wrap the command so it's easier to read.
    
    Change-Id: I3dce219a29ffb1ae56a31318b995e3ba8ea43e70
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/14194
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit