Run RV32 tests on spike with --isa=RV32
[riscv-tests.git] / isa / rv32mi / Makefrag
index e6ab8c845ae12269a41810e2163087408041f5db..7560dbc47be2ee8c82b1bf538d9f1356126571f1 100644 (file)
@@ -16,3 +16,5 @@ rv32mi_mc_tests = \
 
 rv32mi_p_tests = $(addprefix rv32mi-p-, $(rv32mi_sc_tests))
 rv32mi_pm_tests = $(addprefix rv32mi-pm-, $(rv32mi_mc_tests))
+
+spike32_tests += $(rv32mi_p_tests) $(rv32mi_pm_tests)