Commit 8097da76 authored by Simon Prucker's avatar Simon Prucker
Browse files

Merge branch 'onestep' of git8.cs.fau.de:software/cool into onestep

parents a6c6d073 57306e59
Pipeline #15081 failed with stages
in 16 minutes and 40 seconds
......@@ -6,4 +6,4 @@
;; 32: unmatched values warnings are sometimes intentional
(env
(dev
(flags (:standard -w -6-8-24-32))))
\ No newline at end of file
(flags (:standard -w -6-8-24-32 -alert -all--all))))
......@@ -5,4 +5,4 @@
;; 32: unmatched values warnings are sometimes intentional
(env
(dev
(flags (:standard -w -6-8-24-32))))
\ No newline at end of file
(flags (:standard -w -6-8-24-32 -alert -all--all))))
\ No newline at end of file
......@@ -5,6 +5,6 @@
;; 32: unmatched values warnings are sometimes intentional
(env
(dev
(flags (:standard -w -6-8-24-32)))
(flags (:standard -w -6-8-24-32 -alert -all--all)))
(static
(ocamlopt_flags (:standard -ccopt -static))))
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment