diff options
Diffstat (limited to 'isa/rv32mi/Makefrag')
| -rw-r--r-- | isa/rv32mi/Makefrag | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag index 7560dbc..3f6ecb4 100644 --- a/isa/rv32mi/Makefrag +++ b/isa/rv32mi/Makefrag @@ -15,6 +15,8 @@ rv32mi_mc_tests = \ ipi \ rv32mi_p_tests = $(addprefix rv32mi-p-, $(rv32mi_sc_tests)) +ifdef $(TEST_ENABLE_A) rv32mi_pm_tests = $(addprefix rv32mi-pm-, $(rv32mi_mc_tests)) +endif spike32_tests += $(rv32mi_p_tests) $(rv32mi_pm_tests) |