one more try

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 0eb433b927a016bc0032a5f1f07f555963501476..80ffaf59626d826cfb2602564e69ff7ccf6355a8 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -65,8 +65,8 @@ jobs:
         run: |
           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 --config coverity.xml make
+          cov-configure --comptype gcc --compiler cc1 --template
+          cov-build --dir cov-int make
 
       - name: Display build result
         run: |