From a28e239b171c1a69fd32b6583bca0559f7116445 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Tue, 12 Sep 2017 21:42:36 -0400 Subject: [PATCH] Teach the scan-build script to output to a chosen directory --- scripts/test/scan-build.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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="\