From: Alan T. DeKok <aland@freeradius.org>
Date: Thu, 25 Nov 2021 16:39:47 +0000 (-0500)
Subject: add recommendation from the coverity people
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=061c78bc8da62ecd93025c9bd66c57df078d68f1;p=thirdparty%2Ffreeradius-server.git

add recommendation from the coverity people

this time without extra stuff
---

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 8dc8b2089b5..db7475b6fdc 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -65,6 +65,7 @@ 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 make
 
       - name: Display build result