Switch jbuilder to (jbuilder_version 1)

2017-02-24 10:04:40 +00:00 · 2017-02-24 10:04:40 +00:00 · add9450a5d
parent e2a607af6e
commit add9450a5d
2 changed files with 2 additions and 1 deletions
--- a/1
+++ b/1
@ -0,0 +1 @@
+(jbuilder_version 1)
--- a/vendor/cmdliner/src/jbuild
+++ b/vendor/cmdliner/src/jbuild
@ -1,5 +1,5 @@
 (library
 ((name        jbuilder_cmdliner)
  (public_name jbuilder.cmdliner)
-  (extra_disabled_warnings (3 6 27 32 33 35 50))
+  (flags (-w -3-6-27-32-33-35-50))
  (preprocess  no_preprocessing)))