summaryrefslogtreecommitdiff
path: root/travis.sh
diff options
context:
space:
mode:
Diffstat (limited to 'travis.sh')
-rwxr-xr-xtravis.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/travis.sh b/travis.sh
index b3b9998..7bf9383 100755
--- a/travis.sh
+++ b/travis.sh
@@ -33,10 +33,10 @@ build_tsan() {
build_scan-build() {
mkdir $PWD/_build && cd $PWD/_build
- scan-build-3.7 cmake .. -DCMAKE_BUILD_TYPE=Debug \
+ scan-build-3.9 cmake .. -DCMAKE_BUILD_TYPE=Debug \
-DCMAKE_INSTALL_PREFIX=$PWD/../_install \
-DCMAKE_C_FLAGS="-Werror"
- scan-build-3.7 make install
+ scan-build-3.9 make install
}
if [ "$#" -ne 1 ]; then