diff --git a/configure b/configure index 77c9a18c3ca219a60e86238783bf850334ca188f..d5e96e95e151854b4e60c9c335001233635348da 100755 --- a/configure +++ b/configure @@ -6291,6 +6291,7 @@ check_cflags -Wmissing-prototypes check_cflags -Wno-pointer-to-int-cast check_cflags -Wstrict-prototypes check_cflags -Wempty-body +check_cflags -Wno-bool-operation if enabled extra_warnings; then check_cflags -Wcast-qual