-
Notifications
You must be signed in to change notification settings - Fork 415
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Pass --warn-error to Odoc #3018
Conversation
Why not handle this as we do for |
Not all Odoc commands take the |
33f88b6
to
f6a19e8
Compare
Signed-off-by: Jules Aguillon <juloo.dsi@gmail.com>
This feels like more like a field for |
I opened an other PR for using |
Hi !
The
--warn-error
option has been added to Odoc to turn warnings into errors (not yet released).This PR add support for it in Dune.
By default the flag is not passed to Odoc, this can be changed with this in
dune-project
:This flag is never passed in release mode.
Enabling this option and having an
Odoc
version that doesn't support it is an error. (no attempt is made to catch this)