1
1
mirror of https://github.com/systemd/systemd-stable.git synced 2024-12-22 13:33:56 +03:00

coverity: stop setting _Float*

Should address https://github.com/systemd/systemd/issues/12854
This commit is contained in:
Evgeny Vereshchagin 2019-06-21 02:21:09 +02:00
parent 6e9713f675
commit 0127b1a05e

View File

@ -148,8 +148,7 @@ jobs:
script:
- set -e
# Preconfigure with meson to prevent Coverity from capturing meson metadata
# Set compiler flag to prevent emit failure
- $DOCKER_EXEC sh -c "CFLAGS='-D_Float128=long\ double -D_Float64=double -D_Float64x=long\ double -D_Float32=float -D_Float32x=double' meson cov-build -Dman=false"
- $DOCKER_EXEC meson cov-build -Dman=false
# Run Coverity
- $DOCKER_EXEC tools/coverity.sh build
- $DOCKER_EXEC tools/coverity.sh upload