diff options
| author | Nick Mathewson <nickm@torproject.org> | 2017-09-12 21:42:36 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2017-09-12 21:42:36 -0400 |
| commit | a28e239b171c1a69fd32b6583bca0559f7116445 (patch) | |
| tree | df348035f02b287bd0337512d8f5ff56f18b47d1 /scripts/test | |
| parent | f9f3014ce657976aa81dc6c1fae9175f9b1f9c20 (diff) | |
| download | tor-a28e239b171c1a69fd32b6583bca0559f7116445.tar.gz tor-a28e239b171c1a69fd32b6583bca0559f7116445.zip | |
Teach the scan-build script to output to a chosen directory
Diffstat (limited to 'scripts/test')
| -rwxr-xr-x | scripts/test/scan-build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh index fdd1c7a4f8..bc602e61a5 100755 --- a/scripts/test/scan-build.sh +++ b/scripts/test/scan-build.sh @@ -46,6 +46,12 @@ NOISY_CHECKERS="\ -enable-checker alpha.deadcode.UnreachableCode \ " +if test "x$SCAN_BUILD_OUTPUT" != "x"; then + OUTPUTARG="-o $SCAN_BUILD_OUTPUT" +else + OUTPUTARG="" +fi + scan-build \ $CHECKERS \ ./configure @@ -53,7 +59,7 @@ scan-build \ make clean scan-build \ - $CHECKERS \ + $CHECKERS $OUTPUTARG \ make -j5 -k CHECKERS="\ |