Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: In silent rules, differentiate between .cmi and ocamlc.
Although we happen to use 'ocamlc' to compile .mli files to .cmi, it is used in a different mode from bytecode compilation.
- Loading branch information