Fix Coverity Build

This commit is contained in:
Anton Kochkov 2019-12-12 18:11:32 +08:00 committed by GitHub
parent 3700bc63f5
commit 34350bda10
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -46,6 +46,7 @@ jobs:
- name: Build with cov-build
run: |
export PATH=`pwd`/cov-analysis-linux64/bin:$PATH
cd build
cov-build --dir cov-int make
- name: Submit the result to Coverity Scan