diff options
| -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="\ |