diff options
| author | Robert Norton | 2016-01-20 13:07:10 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-20 13:08:08 +0000 |
| commit | 00734d027ab9913c0cf89104ea3690662a5f4908 (patch) | |
| tree | cd515e62c18ea9f79304e9411ee4f5e43e37875d /src/initial_check.mli | |
| parent | b7b7ed8ffbb957e9597bf0a02e988ea18e2b7a2f (diff) | |
build all mips stuff in _build. Still hacky and might be preferable to use ocamlbuild but works OK and shouldn't have to call sanitize.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions