diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/lint/lint-extended-007-checkpatch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-extended-007-checkpatch b/util/lint/lint-extended-007-checkpatch index 20ef6c48e1..e2b39de3e6 100755 --- a/util/lint/lint-extended-007-checkpatch +++ b/util/lint/lint-extended-007-checkpatch @@ -7,7 +7,7 @@ PIDS="" DIRS="src/acpi \ src/cpu/armltd src/cpu/qemu-power8 src/cpu/qemu-x86 \ -src/drivers/dec src/drivers/gic src/drivers/ti \ +src/drivers/gic src/drivers/ti \ src/ec/purism \ src/include/boot src/include/superio src/include/sys \ src/mainboard/adlink src/mainboard/purism src/mainboard/ti \ |