diff options
| author | Maxime Dénès | 2017-05-28 13:31:04 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-01 23:33:56 +0200 |
| commit | b4fd775380694f62fc89bec459f1e96723da4283 (patch) | |
| tree | 5365ed16757c443451ee3819c4aa3932ed478b63 /kernel/type_errors.ml | |
| parent | 3748c26914b667f2379374801ebc3f9c8317b4c0 (diff) | |
[travis] Add OSX test-suite checking.
This is a first step towards getting Travis build our OSX package, but
is also useful immediately (c.f. the recent breakage of the coq_makefile
test-suite under OSX).
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions