summaryrefslogtreecommitdiff
path: root/travis.sh
diff options
context:
space:
mode:
Diffstat (limited to 'travis.sh')
-rwxr-xr-xtravis.sh10
1 files changed, 9 insertions, 1 deletions
diff --git a/travis.sh b/travis.sh
index f5c67c6..2d9ef6c 100755
--- a/travis.sh
+++ b/travis.sh
@@ -29,8 +29,16 @@ build_tsan() {
ctest -V .
}
+build_scan-build() {
+ mkdir $PWD/_build && cd $PWD/_build
+ scan-build-3.7 cmake .. -DCMAKE_BUILD_TYPE=Debug \
+ -DCMAKE_INSTALL_PREFIX=$PWD/../_install \
+ -DCMAKE_C_FLAGS="-Werror"
+ scan-build-3.7 make install
+}
+
if [ "$#" -ne 1 ]; then
- echo "Usage: $0 {autotools|cmake|asan|tsan}"
+ echo "Usage: $0 {autotools|cmake|asan|tsan|scan-build}"
exit 1
fi