From f194473e8d46fc087681935a9aa5a26dfa5ad45f Mon Sep 17 00:00:00 2001
From: firewave <firewave@users.noreply.github.com>
Date: Thu, 8 Feb 2024 18:59:04 +0100
Subject: [PATCH] coverity.yml: do not use debug STL

---
 .github/workflows/coverity.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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