diff options
| author | Tim Angus <tim.angus@roslin.ed.ac.uk> | 2014-08-28 09:13:38 +0100 |
|---|---|---|
| committer | Tim Angus <tim@ngus.net> | 2014-08-28 11:20:30 +0100 |
| commit | d2b12f8b8b9f756d1a75720c111d3b66c9a9e891 (patch) | |
| tree | 502b1fdaa83667fb57edffc750786b110e76258d | |
| parent | aa86d59cd98d027fee44be0571c1065927b1584c (diff) | |
Only run scan-build on one of the clang builds
| -rwxr-xr-x | jenkins-ci-build.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh index f5559de4..31bdd97f 100755 --- a/jenkins-ci-build.sh +++ b/jenkins-ci-build.sh @@ -6,7 +6,7 @@ BUILD_DEFAULT="release" cd ${MASTER_DIR} -if [ "$OPTIONS" = "all_options" ]; +if [ "${OPTIONS}" == "all_options" ]; then export USE_CODEC_VORBIS=1 export USE_FREETYPE=1 @@ -44,7 +44,8 @@ if [ -n "${CPPCHECK}" ]; then ln -sf ${CPPCHECK} cppcheck.xml fi -if [ "${CC}" == "clang" ]; then +# Bit of a hack; only run scan-build with clang and all options enabled +if [ "${CC}" == "clang" ] && [ "${OPTIONS}" == "all_options" ]; then MAKE_PREFIX="scan-build" fi |