]> git.ipfire.org Git - thirdparty/freeradius-server.git/commitdiff
remove --preprocess-first
authorAlan T. DeKok <aland@freeradius.org>
Fri, 29 Jul 2022 13:50:38 +0000 (09:50 -0400)
committerAlan T. DeKok <aland@freeradius.org>
Fri, 29 Jul 2022 13:50:38 +0000 (09:50 -0400)
Coverity doesn't like it

.github/workflows/coverity.yml

index f8cd7304e5a0b08e44e477f9fb52935a0121320d..d3d0c538e1da800204a0e6f6ba217aa93aaf666d 100644 (file)
@@ -67,7 +67,7 @@ jobs:
           export PATH=`pwd`/coverity_tool/bin:$PATH
           ./configure -with-rlm-python-bin=/usr/bin/python2.7
           cov-configure --template --compiler clang --comptype clangcc
-          cov-build --dir cov-int --preprocess-first make
+          cov-build --dir cov-int make
 
       - name: Display build result
         run: |