diff options
author | Martin Roth <gaumless@gmail.com> | 2018-06-06 21:34:47 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-07 06:27:08 +0000 |
commit | e99a718e83e4332822c6d362799a2a0c9c9c4546 (patch) | |
tree | 5b1176c4b5403cc8f63c719790d7bec21b45bdc1 /util/vgabios/pci-userspace.h | |
parent | 06e9816191d310435ca11f6403a3cd1f555af6df (diff) |
util/lint: Add filename checker
Check that filenames have only alphanumeric characters plus underscore,
dash, and period.
Change-Id: I7bf0be15d588aa1a5ece628b56e871662d6af44b
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: https://review.coreboot.org/26938
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Werner Zeh <werner.zeh@siemens.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/vgabios/pci-userspace.h')
0 files changed, 0 insertions, 0 deletions