diff options
| author | Eric Biggers <ebiggers@google.com> | 2022-02-06 10:41:13 -0800 |
|---|---|---|
| committer | Eric Biggers <ebiggers@google.com> | 2022-02-06 10:41:23 -0800 |
| commit | c7434e7c68f7d039a82a8594dd59638cb9ea9ef0 (patch) | |
| tree | 93f6273956e956cc46b2b8b4041fc3ddc299e7ab | |
| parent | 61493fd18b6799b5b79cc84fd79073f4b6edf6d8 (diff) | |
| download | fsverity-utils-c7434e7c68f7d039a82a8594dd59638cb9ea9ef0.tar.gz | |
scripts/run-sparse.sh: fix to exclude boringssl directory
Signed-off-by: Eric Biggers <ebiggers@google.com>
| -rwxr-xr-x | scripts/run-sparse.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |