commit c7434e7c68f7d039a82a8594dd59638cb9ea9ef0
author Eric Biggers <ebiggers@google.com> Sun Feb 06 10:41:13 2022 -0800
committer Eric Biggers <ebiggers@google.com> Sun Feb 06 10:41:23 2022 -0800
tree 93f6273956e956cc46b2b8b4041fc3ddc299e7ab
parent 61493fd18b6799b5b79cc84fd79073f4b6edf6d8

scripts/run-sparse.sh: fix to exclude boringssl directory

Signed-off-by: Eric Biggers <ebiggers@google.com>

scripts/run-sparse.sh

diff --git a/scripts/run-sparse.sh b/scripts/run-sparse.sh
index f75b837..b8d37c1 100755
--- a/scripts/run-sparse.sh
+++ b/scripts/run-sparse.sh
@@ -8,7 +8,7 @@
 
 set -e -u -o pipefail
 
-find . -name '*.c' | while read -r file; do
+find programs lib -name '*.c' | while read -r file; do
 	sparse "$file" -gcc-base-dir "$(gcc --print-file-name=)"	\
 		-Iinclude -D_FILE_OFFSET_BITS=64 -Wbitwise -D_GNU_SOURCE
 done