diff options
-rw-r--r-- | .github/workflows/ci.yml | 2 | ||||
-rwxr-xr-x | travis.sh | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 348776e..8912924 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -17,6 +17,8 @@ jobs: config: asan - compiler: clang config: tsan + - compiler: clang + config: scan-build steps: - uses: actions/checkout@v2 @@ -43,11 +43,13 @@ build_tsan() { } build_scan-build() { + sudo apt-get install -y clang-tools mkdir $PWD/_build && cd $PWD/_build - scan-build-3.9 cmake .. -DCMAKE_BUILD_TYPE=Debug \ + scan-build cmake .. -DCMAKE_BUILD_TYPE=Debug \ + -DCMAKE_C_COMPILER=clang \ -DCMAKE_INSTALL_PREFIX=$PWD/../_install \ -DCMAKE_C_FLAGS="-Werror" - scan-build-3.9 make install + scan-build make install } if [ "$#" -ne 1 ]; then |