From 1a5ba4a573dbe404873dee152ae82b02fb5ac727 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20St=C3=B6neberg?=
 <firewave@users.noreply.github.com>
Date: Fri, 9 Feb 2024 18:22:06 +0100
Subject: [PATCH] coverity.yml: do not use debug STL (#5962)

---
 .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