diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-12 23:41:19 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-12 23:41:19 +0200 |
| commit | 8a388cd914f8c8359f7637ade728f3a9ac5a291b (patch) | |
| tree | a98fdf1c98164e93c2b71a7a6dff5647cd0079e1 /configure.ml | |
| parent | cbc85b215c398d0475d8347ce4d37bfb4d37d883 (diff) | |
| parent | a069562bc0d4e82f6b1587864a8297b21a3250cc (diff) | |
Merge PR #8041: [ci] Remove warning jobs in favor of default `-warn-error yes`
Diffstat (limited to 'configure.ml')
| -rw-r--r-- | configure.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 194f47c49..3a98e8892 100644 --- a/configure.ml +++ b/configure.ml @@ -647,8 +647,10 @@ let camltag = match caml_version_list with 48: implicit elimination of optional arguments: too common 50: unexpected documentation comment: too common and annoying to avoid 56: unreachable match case: the [_ -> .] syntax doesn't exist in 4.02.3 + 58: "no cmx file was found in path": See https://github.com/ocaml/num/issues/9 + 59: "potential assignment to a non-mutable value": See Coq's issue #8043 *) -let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-50" +let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-50-58-59" let coq_warn_error = if !prefs.warn_error then "-warn-error +a" |