Do not install cmdliner

It is only used by the binary, not the library.
2017-02-26 21:40:09 +00:00 · 2017-02-26 21:40:09 +00:00 · 7cc152d740
parent e52cca99cb
commit 7cc152d740
1 changed files with 1 additions and 2 deletions
--- a/vendor/cmdliner/src/jbuild
+++ b/vendor/cmdliner/src/jbuild
@ -1,6 +1,5 @@
 (jbuild_version 1)

 (library
- ((name        jbuilder_cmdliner)
-  (public_name jbuilder.cmdliner)
+ ((name jbuilder_cmdliner)
  (flags (-w -3-6-27-32-33-35-50))))