Specify Spike ISA explicitly

[riscv-tests.git] / isa / Makefile

diff --git a/isa/Makefile b/isa/Makefile
index 1afa4d6cd4501c0f7b26eb67431658cc715b4c62..3ed1b60f995869564c549604e48e51032834b633 100644 (file)
--- a/isa/Makefile
+++ b/isa/Makefile
@@ -43,10 +43,10 @@ vpath %.S $(src_dir)
        $(RISCV_OBJDUMP) $< > $@
 
 %.out: %
-       $(RISCV_SIM) $< 2> $@
+       $(RISCV_SIM) --isa=rv64gc $< 2> $@
 
 %.out32: %
-       $(RISCV_SIM) --isa=RV32 $< 2> $@
+       $(RISCV_SIM) --isa=rv32gc $< 2> $@
 
 define compile_template