diff options
| author | Prashanth Mundkur | 2018-05-21 15:24:18 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-21 18:00:03 -0700 |
| commit | b55481d0bafff8520ff6872dbca4ca616bce41ac (patch) | |
| tree | 89182de9bea9e46c9997e3a7cb09899f80b5bd7b /riscv | |
| parent | 1eb48633540df90e8f357ccc00039062ddea3ae1 (diff) | |
Add an -ocaml-nobuild option to avoid building the generated ocaml by default (off by default).
Diffstat (limited to 'riscv')
0 files changed, 0 insertions, 0 deletions