Mark RV32 tests as such

@zhemao make sure to do "make run" in isa/ before committing

diff --git a/isa/rv32ua/Makefrag b/isa/rv32ua/Makefrag
index 9af6c7e0629d1a6c404536227fe44d213c720903..575dc6aeb1f869c7e0e9180f72d8492847d5bcf9 100644 (file)
--- a/isa/rv32ua/Makefrag
+++ b/isa/rv32ua/Makefrag
@@ -9,4 +9,4 @@ rv32ua_sc_tests = \
 rv32ua_p_tests = $(addprefix rv32ua-p-, $(rv32ua_sc_tests))
 rv32ua_v_tests = $(addprefix rv32ua-v-, $(rv32ua_sc_tests))
 
 rv32ua_p_tests = $(addprefix rv32ua-p-, $(rv32ua_sc_tests))
 rv32ua_v_tests = $(addprefix rv32ua-v-, $(rv32ua_sc_tests))
 

-spike_tests += $(rv32ua_p_tests) $(rv32ua_v_tests)
+spike32_tests += $(rv32ua_p_tests) $(rv32ua_v_tests)

diff --git a/isa/rv32um/Makefrag b/isa/rv32um/Makefrag
index 50bffc8aa7baf59c4c6cf3f9df8d308d51078db1..1391c6a56682015a73c322ca8ba9ac965191c866 100644 (file)
--- a/isa/rv32um/Makefrag
+++ b/isa/rv32um/Makefrag
@@ -10,4 +10,4 @@ rv32um_sc_tests = \
 rv32um_p_tests = $(addprefix rv32um-p-, $(rv32um_sc_tests))
 rv32um_v_tests = $(addprefix rv32um-v-, $(rv32um_sc_tests))
 
 rv32um_p_tests = $(addprefix rv32um-p-, $(rv32um_sc_tests))
 rv32um_v_tests = $(addprefix rv32um-v-, $(rv32um_sc_tests))
 

-spike_tests += $(rv32um_p_tests) $(rv32um_v_tests)
+spike32_tests += $(rv32um_p_tests) $(rv32um_v_tests)