diff --git a/configure b/configure index 0c75f7f5c96bf635c2b5fe1f6e5a677135004d3c..fc377d90fbd686433803513403db4fa03010c69d 100755 --- a/configure +++ b/configure @@ -6314,6 +6314,7 @@ check_disable_warning -Wno-switch check_disable_warning -Wno-format-zero-length check_disable_warning -Wno-pointer-sign check_disable_warning -Wno-unused-const-variable +check_disable_warning -Wno-bool-operation check_disable_warning_headers(){ warning_flag=-W${1#-Wno-}