diff options
| author | Prashanth Mundkur | 2018-11-29 09:18:31 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-11-29 09:18:47 -0800 |
| commit | eedd493fb5a647a99367b12609b0e00814457f90 (patch) | |
| tree | 618b7b274f19db67825aa7d16db746d1e384f579 /src/bytecode_util.ml | |
| parent | f33c5d3d237449a58322fe3299b21788707a2555 (diff) | |
RISC-V: properly set mstatus.FS in absence of floating-point support.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions