aboutsummaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
authorGaëtan Gilbert2019-10-02 16:41:11 +0200
committerGaëtan Gilbert2019-10-02 16:41:11 +0200
commitb6f77dc89b62bdb43f2f07ba31b181a10dfcfc39 (patch)
tree965d8872e7ddd3848c9e6f50d2efa4683803dd6c /dune
parent397fa7d34e100213855df7f3aa05ce4d497724e1 (diff)
parent58a20d7268608a701a4cd8f51baaa7ba42d23f82 (diff)
Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.
Reviewed-by: SkySkimmer Reviewed-by: Zimmi48
Diffstat (limited to 'dune')
-rw-r--r--dune4
1 files changed, 1 insertions, 3 deletions
diff --git a/dune b/dune
index 6fb0612e4e..832c864fc3 100644
--- a/dune
+++ b/dune
@@ -4,9 +4,7 @@
(release (flags :standard -rectypes)
(ocamlopt_flags -O3 -unbox-closures))
(ireport (flags :standard -rectypes -w -9-27-40+60)
- (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))
- (ocaml409
- (flags :standard -strict-sequence -strict-formats -keep-locs -rectypes -w -9-27+40+60 -warn-error -5 -alert --deprecated)))
+ (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report)))
; Information about flags for release mode:
;