diff options
| -rw-r--r-- | isa/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/Makefile b/isa/Makefile index a514cb2..681f322 100644 --- a/isa/Makefile +++ b/isa/Makefile @@ -49,10 +49,10 @@ vpath %.S $(src_dir) $(RISCV_OBJDUMP) $< > $@ %.out: % - $(RISCV_SIM) --isa=rv64gc $< 2> $@ + $(RISCV_SIM) --isa=rv64gc_zfh_svnapot $< 2> $@ %.out32: % - $(RISCV_SIM) --isa=rv32gc $< 2> $@ + $(RISCV_SIM) --isa=rv32gc_zfh_svnapot $< 2> $@ define compile_template |