Skip to content

Commit

Permalink
dune: disable warning 40
Browse files Browse the repository at this point in the history
  • Loading branch information
trefis committed May 6, 2019
1 parent bcf176c commit 457c44a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions dune
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit 457c44a

Please sign in to comment.