diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/test/scan-build.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh index bc602e61a5..793adf87e2 100755 --- a/scripts/test/scan-build.sh +++ b/scripts/test/scan-build.sh @@ -56,7 +56,15 @@ scan-build \ $CHECKERS \ ./configure -make clean +scan-build \ + make clean + +# Make this not get scanned for dead assignments, since it has lots of +# dead assignments we don't care about. +scan-build \ + $CHECKERS \ + -disable-checker deadcode.DeadStores \ + make -j5 -k ./src/ext/ed25519/ref10/libed25519_ref10.a scan-build \ $CHECKERS $OUTPUTARG \ |