diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 31af2b2127a..9dad4d443f3 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -26,7 +26,7 @@ jobs: - name: Build with Coverity build tool run: | export PATH=`pwd`/coverity_tool/bin:$PATH - cov-build --dir cov-int make + cov-build --dir cov-int make CPPCHK_GLIBCXX_DEBUG= - name: Submit build result to Coverity Scan run: | tar czvf cov.tar.gz cov-int