dune: disable warning 40

master
Thomas Refis 2019-05-06 14:01:00 +01:00
parent bcf176cfd5
commit 457c44aef9
1 changed files with 2 additions and 2 deletions

4
dune
View File

@ -13,8 +13,8 @@
;**************************************************************************
(env
(dev (flags (:standard -w +a-4-9-41-42-44-45-48)))
(release (flags (:standard -w +a-4-9-41-42-44-45-48))))
(dev (flags (:standard -w +a-4-9-40-41-42-44-45-48)))
(release (flags (:standard -w +a-4-9-40-41-42-44-45-48))))
;; Too annoying to get to work. Use (copy_files# ...) instead
; (include_subdirs unqualified)