From 9e6b43d2cfcc522135ae1276250f0fc61f4da385 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Lesimple?= Date: Sat, 3 May 2025 11:01:46 +0200 Subject: [PATCH] chore: configure: remove a few now-useless -Wno-* --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index ed5362b..d1d0a94 100755 --- a/configure +++ b/configure @@ -26,7 +26,7 @@ BASH_BASED_CONFIGURE=./scripts/bash-based-configure BASH_BASED_CONFIGURE_OPTS="--buildtmp=$(pwd)/build $@" REQUIRED_CFLAGS="-D_FILE_OFFSET_BITS=64 -D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -I. -pipe" -RECOMMENDED_CFLAGS="-Wall -Wno-unknown-warning-option -Wno-stringop-truncation -Wno-format-zero-length -Wno-unused-but-set-variable" +RECOMMENDED_CFLAGS="-Wall -Wno-format-zero-length -Wno-unused-but-set-variable" NODEBUG_CFLAGS="-O2 -fomit-frame-pointer" DEBUG_CFLAGS="-ggdb"