diff options
| author | Tim Angus <tim@ngus.net> | 2014-08-27 22:55:16 +0100 |
|---|---|---|
| committer | Tim Angus <tim@ngus.net> | 2014-08-28 11:20:30 +0100 |
| commit | d49d77f5e39bc651ce855d3754026c7572df40e2 (patch) | |
| tree | 80e2e902e8241c8b5a98ad652b27acb3e7ef1260 | |
| parent | f87622b45cd982d3223f51f06166de5cefa5de8e (diff) | |
Use scan-build when invoking clang
| -rwxr-xr-x | jenkins-ci-build.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh index 83b46870..f5559de4 100755 --- a/jenkins-ci-build.sh +++ b/jenkins-ci-build.sh @@ -41,9 +41,13 @@ if [ -n "${CPPCHECK}" ]; then cppcheck --enable=all --max-configs=1 --xml --xml-version=2 code 2> ${CPPCHECK} fi - ln -s ${CPPCHECK} cppcheck.xml + ln -sf ${CPPCHECK} cppcheck.xml fi -make -j${CORES} distclean ${BUILD_TYPE} +if [ "${CC}" == "clang" ]; then + MAKE_PREFIX="scan-build" +fi + +${MAKE_PREFIX} make -j${CORES} distclean ${BUILD_TYPE} exit $? |