diff options
| author | Robert Norton | 2018-06-22 13:50:37 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-22 13:50:37 +0100 |
| commit | 5184f151330d3b1a28c0fdfc5ccbcbe203e0b5be (patch) | |
| tree | 4d9e3ac221f4bc0d393c37af6225d577c7616409 /lib/coq | |
| parent | 2f8e0b78531473a5c519b998f0750eec2bb68cb8 (diff) | |
build mips and mips_c when running tests.
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions