diff options
author | Nick Mathewson <nickm@torproject.org> | 2017-09-19 08:48:39 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2017-09-19 08:48:39 -0400 |
commit | 1f602e86433cc132981e8f9727266353ea2c3b0e (patch) | |
tree | 417175727efd6fd522f7398993bfb6aaacb2111a /scripts/test | |
parent | 6f313edc8a92ac9279ba18f4bbe257093226df03 (diff) | |
download | tor-1f602e86433cc132981e8f9727266353ea2c3b0e.tar.gz tor-1f602e86433cc132981e8f9727266353ea2c3b0e.zip |
plural in manpage
Diffstat (limited to 'scripts/test')
-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 \ |