diff options
Diffstat (limited to 'isa/rv32ui')
-rw-r--r-- | isa/rv32ui/Makefrag | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/isa/rv32ui/Makefrag b/isa/rv32ui/Makefrag index 7903b15..48a3a91 100644 --- a/isa/rv32ui/Makefrag +++ b/isa/rv32ui/Makefrag @@ -23,5 +23,3 @@ rv32ui_sc_tests = \ rv32ui_p_tests = $(addprefix rv32ui-p-, $(rv32ui_sc_tests)) rv32ui_v_tests = $(addprefix rv32ui-v-, $(rv32ui_sc_tests)) - -spike32_tests += $(rv32ui_p_tests) $(rv32ui_v_tests) |