diff options
| author | Guillaume Melquiond | 2014-06-16 10:03:29 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-06-16 10:03:29 +0200 |
| commit | f1ecf669d82c8b6d05068e12f96f993982ecb533 (patch) | |
| tree | e9750314c2b28d3416ec420e9e3f5b9e21033d82 /kernel/inductive.ml | |
| parent | 5e5a4c9a54903c4a7a4bdcf5e8cec5768f9e3d33 (diff) | |
Preemptively remove files from native compilation.
Ocaml does not remove the .cmi file if compilation fails, thus causing
subsequent native compilations to fail due to mismatching interfaces.
For the sake of homogeneity, also remove the .cmo/.cmxs file along the way.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions