jenkins: The configure script does not have a --enable-debug switch

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index adbd4307f997d9e0f8d9c971653c4d997ae30812..a69e98c9d9928b747ee077f1c8d6935707cf6e0f 100644 (file)
--- 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
                                                                """
                                                        }
                                                }