mirrors/libmicrohttpd
2
0
Fork 0
mirror of https://git.gnunet.org/libmicrohttpd.git synced 2026-09-25 04:09:31 +03:00
Code Issues Packages Projects Releases Wiki Activity

.gitlab-ci.yml: scan-build speed-up

Browse Source
This commit is contained in:
Evgeny Grin (Karlson2k)
2024-08-22 21:34:14 +02:00
parent d4fda3f574
commit ad7d62f186
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitlab-ci.yml
+6 -5
View File
@@ -72,12 +72,13 @@ Scan-Build/Debian:
image: $CI_REGISTRY/$BUILD_IMAGES_PROJECT:$DEBIAN_BUILD
script:
- export CFLAGS="$CFLAGS_DEFAULT"
- ./bootstrap
- scan-build --use-cc=clang-3.8 ./configure $CONFIGURE_BASE_FLAGS --enable-build-type=debug --disable-sanitizers
- ln -s "$(which ccache)" "$(pwd)/clang-3.8"
- (cd src/include/ && make CC="$(pwd)/../../clang-3.8") # options-generator is badly broken
- scan-build --use-cc="$(pwd)/clang-3.8" -v -enable-checker security,nullability --status-bugs -o scan-build make -j$(nproc)
- scan-build --use-cc="$(pwd)/clang-3.8" -v -enable-checker security,nullability --status-bugs -o scan-build make -k check
- export CC="$(pwd)/clang-3.8"
- ./bootstrap
- ./configure $CONFIGURE_BASE_FLAGS --enable-build-type=debug --disable-sanitizers
- (cd src/include/ && make) # options-generator is badly broken
- scan-build --use-cc="$CC" -v -enable-checker security,nullability --status-bugs -o scan-build make -j$(nproc)
- scan-build --use-cc="$CC" -v -enable-checker security,nullability --status-bugs -o scan-build make -k check
except:
- tags
artifacts: