util/lint: Remove missing dirs from checkpatch linter
The mb/adlink directory no longer exists, so remove it from the list of checked directories. Add a check to make sure that the directory exists before trying to lint it in the future. Change-Id: I59874cb7356c2e8eeb8fc216f2930b3d8ef513c7 Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/88237 Reviewed-by: Elyes Haouas <ehaouas@noos.fr> Reviewed-by: Matt DeVillier <matt.devillier@gmail.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
parent
a0f2e42879
commit
bd36a4a465
1 changed files with 5 additions and 3 deletions
|
|
@ -10,13 +10,15 @@ src/cpu/armltd src/cpu/qemu-power8 src/cpu/qemu-x86 \
|
|||
src/drivers/ti \
|
||||
src/ec/purism \
|
||||
src/include/boot src/include/superio src/include/sys \
|
||||
src/mainboard/adlink src/mainboard/purism src/mainboard/ti \
|
||||
src/mainboard/purism src/mainboard/ti \
|
||||
src/superio/acpi src/superio/common \
|
||||
"
|
||||
|
||||
for directory in $DIRS; do
|
||||
util/lint/lint-007-checkpatch "$directory" &
|
||||
PIDS="$PIDS $!"
|
||||
if [ -d "$directory" ]; then
|
||||
util/lint/lint-007-checkpatch "$directory" &
|
||||
PIDS="$PIDS $!"
|
||||
fi
|
||||
done
|
||||
|
||||
# wait for tests to finish.
|
||||
|
|
|
|||
Loading…
Reference in a new issue