Skip to content

Commit d1e8061

Browse files
lint: do not do checks for data files
1 parent 1eb2166 commit d1e8061

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

util/lint.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,7 @@ git --no-pager diff --check -- \
4646
':(exclude)**.patch' \
4747
':(exclude)sw/toolchain/**' \
4848
':(exclude)sw/riscv-tests/**' \
49+
':(exclude)**/data/**' \
4950
|| EXIT_STATUS=$?
5051

5152
echo "Checking for trailing whitespaces and tabs between HEAD and $base"
@@ -54,6 +55,7 @@ git --no-pager diff --check $base HEAD -- \
5455
':(exclude)**.patch' \
5556
':(exclude)sw/toolchain/**' \
5657
':(exclude)sw/riscv-tests/**' \
58+
':(exclude)**/data/**' \
5759
|| EXIT_STATUS=$?
5860

5961
exit $EXIT_STATUS

0 commit comments

Comments
 (0)