From 7df8494d79efcb7b2fd66319cb8fd135f27683f3 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Mon, 29 Sep 2025 16:40:12 +0000 Subject: [PATCH] jenkins: The configure script does not have a --enable-debug switch Signed-off-by: Michael Tremer --- Jenkinsfile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index adbd430..a69e98c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -66,8 +66,7 @@ pipeline { sh """ CC=${env.COMPILER} \ ./configure \ - --prefix=/usr \ - --enable-debug + --prefix=/usr """ } @@ -161,8 +160,7 @@ pipeline { sh """ scan-build \ ./configure \ - --prefix=/usr \ - --enable-debug + --prefix=/usr """ } } -- 2.47.3