ci: fix coverity scan build command

This commit is contained in:
Duncan Overbruck 2022-08-30 13:51:13 +02:00
parent 3a2162b668
commit 4dd9d17e08
No known key found for this signature in database
GPG Key ID: 335C1D17EC3D6E35

View File

@ -29,8 +29,8 @@ jobs:
- name: Configure and build - name: Configure and build
run: | run: |
CC=gcc ./configure --enable-tests && CC=gcc ./configure --enable-tests
PATH=/tmp/build-dir/cov-analysis-linux64/bin:\$PATH cov-build --dir cov-int make -j\$(nproc)" PATH=/tmp/build-dir/cov-analysis-linux64/bin:$PATH cov-build --dir cov-int make -j$(nproc)
- name: Submit the result to Coverity Scan - name: Submit the result to Coverity Scan
run: | run: |