From e9a93bc711f2f217a1476344a7d0c45d81a78de4 Mon Sep 17 00:00:00 2001
From: Ian McInerney <ian.s.mcinerney@ieee.org>
Date: Tue, 18 Apr 2023 00:19:19 +0100
Subject: [PATCH] Try to get the coverity scan results back under the size
 limit

Apparently our Coverity Scan file we try to upload is too large for the
server to handle, so it isn't working. Try switching to a release build
with debug symbols to see if that reduces the size.
---
 .gitlab/coverity.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab/coverity.yml b/.gitlab/coverity.yml
index f18168e7da..eb2e898c30 100644
--- a/.gitlab/coverity.yml
+++ b/.gitlab/coverity.yml
@@ -56,7 +56,7 @@ Coverity:
   script:
     - *coverity_cache_prep
     - cmake
-      -DCMAKE_BUILD_TYPE=Debug
+      -DCMAKE_BUILD_TYPE=RelWithDebInfo
       -DKICAD_STDLIB_LIGHT_DEBUG=ON
       -DKICAD_SCRIPTING_WXPYTHON=ON
     - coverity/bin/cov-build --dir cov-int make -j8