diff --git a/configure b/configure index 3936202430d7de41c5bc2740ca352251dd53ad1f..b2232117d8088c88b73f36e67c1597accd7b1b66 100755 --- a/configure +++ b/configure @@ -6125,8 +6125,12 @@ check_cflags -Wmissing-prototypes check_cflags -Wno-pointer-to-int-cast check_cflags -Wstrict-prototypes check_cflags -Wempty-body -enabled extra_warnings && check_cflags -Winline -enabled extra_warnings && check_cflags -Wcast-qual + +if enabled extra_warnings; then + check_cflags -Wcast-qual + check_cflags -Wextra + check_cflags -Wpedantic +fi check_disable_warning(){ warning_flag=-W${1#-Wno-}