build-scripts/checker-buildbot.sh
changeset 8636 c10618240799
parent 8635 f1076ec9e707
child 8637 1c0ab89ad87c
     1.1 --- a/build-scripts/checker-buildbot.sh	Wed Mar 19 00:58:32 2014 -0400
     1.2 +++ b/build-scripts/checker-buildbot.sh	Wed Mar 19 03:04:04 2014 -0400
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  mkdir checker-buildbot
     1.6  cd checker-buildbot
     1.7 -cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_C_COMPILER="$CHECKERDIR/libexec/ccc-analyzer" ..
     1.8 +cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_C_COMPILER="$CHECKERDIR/libexec/ccc-analyzer" -DSDL_STATIC=OFF ..
     1.9  PATH="$CHECKERDIR:$PATH" scan-build -o analysis $MAKE
    1.10  mv analysis/* ../analysis
    1.11  rmdir analysis   # Make sure this is empty.