diff options
-rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 021d3080..d6cbdc69 100755 --- a/configure.sh +++ b/configure.sh @@ -772,7 +772,7 @@ predefined_build() { dc_default_digit_clamp=0;; GDH) - CFLAGS="-flto -Weverything -Wno-padded -Werror -pedantic -std=c11" + CFLAGS="-flto -Weverything -Wno-padded -Wno-reserved-macro-identifier -Werror -pedantic -std=c11" bc_only=0 dc_only=0 coverage=0 |