From: Michael Tremer Date: Mon, 29 Sep 2025 16:40:12 +0000 (+0000) Subject: jenkins: The configure script does not have a --enable-debug switch X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7df8494d79efcb7b2fd66319cb8fd135f27683f3;p=collecty.git jenkins: The configure script does not have a --enable-debug switch Signed-off-by: Michael Tremer --- 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 """ } }