enable debug symbols in valgrind CI jobs

Rohde-Schwarz · Jan 17, 2025 · 7ab294c · 7ab294c
1 parent af8c4e4
commit 7ab294c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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']: