diff options
author | Vincent Sanders <vince@kyllikki.org> | 2014-11-16 15:15:00 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2014-11-16 15:15:54 +0000 |
commit | 7f9ba003c0704f476294927b2c01a3996c2dec8f (patch) | |
tree | 44e3c9d8e42f8a09ff9e426696282de4671bbbc2 | |
parent | 786c69ed1dff78590f64d0165a61dc2e83ea0bc0 (diff) | |
download | buildsystem-7f9ba003c0704f476294927b2c01a3996c2dec8f.tar.gz buildsystem-7f9ba003c0704f476294927b2c01a3996c2dec8f.tar.bz2 |
make scan-build CI system builds noisy
-rwxr-xr-x | citools/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh index ef58db0..1f28f63 100755 --- a/citools/jenkins-build.sh +++ b/citools/jenkins-build.sh @@ -148,7 +148,7 @@ elif [ "x${BUILD}" = "x${TARGET_STATIC}" ]; then # static build rm -rf clangScanBuildReports - scan-build -o clangScanBuildReports -v --use-cc clang --use-analyzer=/usr/bin/clang ${MAKE} VARIANT=${TARGET_VARIANT} + scan-build -o clangScanBuildReports -v --use-cc clang --use-analyzer=/usr/bin/clang ${MAKE} Q= VARIANT=${TARGET_VARIANT} # clean up after ${MAKE} Q= clean BUILD=${TARGET_TARGET} VARIANT=${TARGET_VARIANT} |