[coreboot-gerrit] Patch merged into coreboot/master: lint: Add a check for the executable bit being set on source code

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 721ee01bb0668d2ea207048a11c339313ed248f5
Author: Martin Roth <martinroth at google.com>
Date:   Mon Jan 25 15:12:21 2016 -0700

    lint: Add a check for the executable bit being set on source code
    
    Change-Id: Ia51bd0fa742b2cb17f638c15d669ad1a7f65fefd
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/13433
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>
    Tested-by: build bot (Jenkins)


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

-gerrit