diff options
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 |