diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index e7956cb6c8..cab28adb0b 100644 --- a/configure.ac +++ b/configure.ac @@ -688,7 +688,8 @@ AS_CASE([$ocaml_cv_cc_vendor], cc_warnings=''], [outputobj='-o ' warn_error_flag='-Werror' - cc_warnings='-Wall']) + cc_warnings="-Wall -Wint-conversion -Wstrict-prototypes \ +-Wold-style-definition"]) AS_CASE([$enable_warn_error,OCAML__DEVELOPMENT_VERSION], [yes,*|,true], |