diff options
| author | Gaëtan Gilbert | 2018-12-17 14:51:31 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-17 14:51:31 +0100 |
| commit | 76d64fc2df0ddeb08e5ef0661ceee9fdba1da3b1 (patch) | |
| tree | 162792d1ba0b8c1a7a6396fc1e2042d4243aded6 /kernel/dune | |
| parent | 854d3e1b404fb3ee9087ffb07cbba7cc9196c1f9 (diff) | |
| parent | 85b91b71abe7e60a9096ae31b9d0b4afda2189bb (diff) | |
Merge PR #8856: [gitlab] Test Ocaml trunk.
Diffstat (limited to 'kernel/dune')
| -rw-r--r-- | kernel/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/dune b/kernel/dune index 4f2e0e4e28..01abdb8f67 100644 --- a/kernel/dune +++ b/kernel/dune @@ -18,3 +18,4 @@ ; warnings. (env (dev (flags :standard -w +a-4-44-50))) + ; (ocaml408 (flags :standard -w +a-3-4-44-50))) |