tell cov-build to use the config file

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index db7475b6fdca7d48f814eaf0b86fc38da674ea19..0eb433b927a016bc0032a5f1f07f555963501476 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -66,7 +66,7 @@ jobs:
           export PATH=`pwd`/coverity_tool/bin:$PATH
           ./configure -with-rlm-python-bin=/usr/bin/python2.7
           cov-configure --config coverity.xml --comptype gcc --compiler cc1 --template
-          cov-build --dir cov-int make
+          cov-build --dir cov-int --config coverity.xml make
 
       - name: Display build result
         run: |