diff options
Diffstat (limited to 'non_fatal_warnings.patch')
| -rw-r--r-- | non_fatal_warnings.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/non_fatal_warnings.patch b/non_fatal_warnings.patch new file mode 100644 index 000000000000..e1dbc0974d7a --- /dev/null +++ b/non_fatal_warnings.patch @@ -0,0 +1,14 @@ +--- dune.orig 2019-11-30 19:04:21.781276400 +0100 ++++ dune 2019-11-30 19:03:52.531276564 +0100 +@@ -1,9 +1,9 @@ + (env + (dev +- (flags (:standard -bin-annot -w -22)) ++ (flags (:standard -bin-annot -w -22 -warn-error -A)) + (ocamlopt_flags -g -O3 -unbox-closures)) + (release +- (flags (:standard -bin-annot -w -22)) ++ (flags (:standard -bin-annot -w -22 -warn-error -A)) + (ocamlopt_flags -O3 -unbox-closures)) + ) + |