diff options
| author | Robert Norton | 2018-05-23 16:15:07 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-23 16:15:07 +0100 |
| commit | 28256ae0215b4fd1fefebf24f6b5dd3516fa8fcf (patch) | |
| tree | cf19ffc135b86fc7e4228111c877e38e0973e236 /src | |
| parent | 0c583ea8feec9bc2aed441a976449974ff9350cc (diff) | |
Fix riscv build for older versions of ocamlbuild (e.g. 4.02.3) by copying platform ocaml files into _sbuild directory generated by sail and then running ocamlbuild there.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions