diff options
author | Evgeny Grin (Karlson2k) <k2k@narod.ru> | 2022-06-14 16:19:09 +0300 |
---|---|---|
committer | Evgeny Grin (Karlson2k) <k2k@narod.ru> | 2022-06-14 18:46:04 +0300 |
commit | 6c5dd2f23d3be9e8a61846f033d2ae37c51f880f (patch) | |
tree | 45b6cf4d0c2cc50013d587149a11157478d4886b /.gitlab-ci.yml | |
parent | 836ee8e6c641732e9808338a592f54153921c176 (diff) | |
download | libmicrohttpd-6c5dd2f23d3be9e8a61846f033d2ae37c51f880f.tar.gz libmicrohttpd-6c5dd2f23d3be9e8a61846f033d2ae37c51f880f.zip |
CI: use clang compiler for Clang Static Analyser
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c5e0283e..f1023d59 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
@@ -78,10 +78,11 @@ Scan-Build/Debian: | |||
78 | image: $CI_REGISTRY/$BUILD_IMAGES_PROJECT:$DEBIAN_BUILD | 78 | image: $CI_REGISTRY/$BUILD_IMAGES_PROJECT:$DEBIAN_BUILD |
79 | script: | 79 | script: |
80 | - export CFLAGS="$CFLAGS_DEFAULT" | 80 | - export CFLAGS="$CFLAGS_DEFAULT" |
81 | - export CC="clang-3.8" | ||
81 | - ./bootstrap | 82 | - ./bootstrap |
82 | - scan-build ./configure $CONFIGURE_BASE_FLAGS --enable-build-type=debug --disable-sanitizers | 83 | - scan-build --use-cc=clang-3.8 ./configure $CONFIGURE_BASE_FLAGS --enable-build-type=debug --disable-sanitizers |
83 | - scan-build -v -enable-checker security,nullability --status-bugs -o scan-build make -j$(nproc) | 84 | - scan-build --use-cc="ccache clang-3.8" -v -enable-checker security,nullability --status-bugs -o scan-build make -j$(nproc) |
84 | - scan-build -v -enable-checker security,nullability --status-bugs -o scan-build make -k check | 85 | - scan-build --use-cc="ccache clang-3.8" -v -enable-checker security,nullability --status-bugs -o scan-build make -k check |
85 | tags: | 86 | tags: |
86 | - shared | 87 | - shared |
87 | - linux | 88 | - linux |