From 7ab294cd682fb8ded98befad88b62aade1040f83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Meusel?= <rene.meusel@rohde-schwarz.com>
Date: Fri, 17 Jan 2025 15:42:44 +0100
Subject: [PATCH] enable debug symbols in valgrind CI jobs

---
 src/scripts/ci_build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py
index 356a8005b40..5971625cfad 100755
--- a/src/scripts/ci_build.py
+++ b/src/scripts/ci_build.py
@@ -248,7 +248,7 @@ def sanitize_kv(some_string):
     if target == 'coverage':
         flags += ['--with-coverage-info']
 
-    if target in ['coverage']:
+    if target in ['coverage', 'valgrind', 'valgrind-full', 'valgrind-ct', 'valgrind-ct-full']:
         flags += ['--with-debug-info']
 
     if target in ['coverage', 'sanitizer', 'fuzzers']: