mirror of
https://github.com/comby-tools/comby.git
synced 2024-08-16 08:40:55 +03:00
suppress warnings
This commit is contained in:
parent
d9193e2ca7
commit
15cd6d67e6
4
dune
4
dune
@ -1,6 +1,6 @@
|
||||
(env
|
||||
(dev
|
||||
(flags (:standard -w A-3-4-32-34-37-39-40-41-42-44-45-48-49-50-57-60-66-67)))
|
||||
(flags (:standard -w A-3-4-32-34-37-39-40-41-42-44-45-48-49-50-57-60-66-67-70)))
|
||||
(release
|
||||
(flags (:standard -w A-3-4-32-34-37-39-40-41-42-44-45-48-49-50-57-60-66-67))
|
||||
(flags (:standard -w A-3-4-32-34-37-39-40-41-42-44-45-48-49-50-57-60-66-67-70))
|
||||
(ocamlopt_flags (-O3))))
|
||||
|
@ -21,7 +21,7 @@
|
||||
|
||||
(env
|
||||
(dev
|
||||
(flags (:standard -w A-3-4-27-29-32-34-35-39-40-41-42-44-45-48-49-50-57-60)))
|
||||
(flags (:standard -w A-3-4-27-29-32-34-35-39-40-41-42-44-45-48-49-50-57-60-69-70)))
|
||||
(release
|
||||
(flags (:standard -w A-3-4-27-29-32-34-35-39-40-41-42-44-45-48-49-50-57-60))
|
||||
(flags (:standard -w A-3-4-27-29-32-34-35-39-40-41-42-44-45-48-49-50-57-60-69-70))
|
||||
(ocamlopt_flags (-O3))))
|
||||
|
Loading…
Reference in New Issue
Block a user