Jérémie Dimino 4e4f651b37 Don't stop on the first error (#477) ... Before, jbuilder used to stop its execution after an error was encountered. Now it continues until all branches have been explored. To implement this feature, Future was rewritten as a Fiber module with a simpler semantic. This patch contains various other refactorings.		2018-02-06 14:39:03 +00:00
..
cmdliner.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_arg.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_arg.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_base.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_base.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_cline.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_cline.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_docgen.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_docgen.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_info.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_info.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_manpage.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_manpage.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_msg.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_msg.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_suggest.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_suggest.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_term.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_term.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_trie.ml	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
cmdliner_trie.mli	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
jbuild	Don't stop on the first error (#477)	2018-02-06 14:39:03 +00:00