diff options
author | Martin Roth <martinroth@google.com> | 2016-01-25 15:12:21 -0700 |
---|---|---|
committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2016-01-30 03:23:44 +0100 |
commit | 721ee01bb0668d2ea207048a11c339313ed248f5 (patch) | |
tree | c91fee2def2d4e58f2eb962ec89db4c619350fe1 /util/vgabios | |
parent | 7e86cd4bb2fd403951b068b0c70fb4f77ef6d072 (diff) |
lint: Add a check for the executable bit being set on source code
Change-Id: Ia51bd0fa742b2cb17f638c15d669ad1a7f65fefd
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/13433
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/vgabios')
0 files changed, 0 insertions, 0 deletions