From f61c8d297f7aa4518c7a3037052471b059479c07 Mon Sep 17 00:00:00 2001 From: Allen Byrne Date: Wed, 22 Jan 2020 11:57:22 -0600 Subject: Revert accidental change --- config/gnu-flags | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/gnu-flags b/config/gnu-flags index f23ad68..ede17fb 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -292,7 +292,7 @@ if test "X-gcc" = "X-$cc_vendor"; then # gcc 7 if test $cc_vers_major -ge 7; then DEVELOPER_WARNING_CFLAGS="$DEVELOPER_WARNING_CFLAGS -Wstringop-overflow=2" - H5_CFLAGS="$H5_CFLAGS -Walloc-zero -Walloca -Wduplicated-branches -Wformat-overflow=2 -Wformat-truncation=1 -Wimplicit-fallthrough=5 -Wrestrict" + H5_CFLAGS="$H5_CFLAGS -Walloc-zero -Walloca -Wduplicated-branches -Wformat-overflow=2 -Wformat-truncation=2 -Wimplicit-fallthrough=5 -Wrestrict" fi # gcc 8 -- cgit v0.12