summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 487f66a95e..57981c8a32 100755
--- a/configure
+++ b/configure
@@ -13656,7 +13656,8 @@ case $ocaml_cv_cc_vendor in #(
*) :
outputobj='-o '
warn_error_flag='-Werror'
- cc_warnings='-Wall' ;;
+ cc_warnings="-Wall -Wint-conversion -Wstrict-prototypes \
+-Wold-style-definition" ;;
esac
case $enable_warn_error,true in #(