diff options
| author | Gavin D. Howard <gavin@gavinhoward.com> | 2023-03-16 09:01:40 -0600 |
|---|---|---|
| committer | Gavin D. Howard <gavin@gavinhoward.com> | 2023-03-16 09:02:43 -0600 |
| commit | 50439ed1f01315495b85d4c39b8867d6ac8e3343 (patch) | |
| tree | 6fed9c63ec26ecf81a59c7bc49f7ff1d4a6aa4af | |
| parent | 64fb2dba789ebc43f7c2686e6a07dad50c8c3c9d (diff) | |
| download | bc-50439ed1f01315495b85d4c39b8867d6ac8e3343.tar.gz | |
Tweak my preferred build because of a Gentoo header
Signed-off-by: Gavin D. Howard <gavin@gavinhoward.com>
| -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 |