Remove zicntr from Makefile

MarioOpenHWGroup · Apr 4, 2024 · 70831bb · 70831bb
1 parent c021a74
commit 70831bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verif/sim/Makefile b/verif/sim/Makefile
@@ -121,7 +121,7 @@ endif
 ###############################################################################
 spike:
 	LD_LIBRARY_PATH="$$(realpath ../../tools/spike/lib):$$LD_LIBRARY_PATH" \
-		$(tool_path)/spike $(spike_stepout) $(spike_extension) --log-commits --isa=$(variant)_zicntr --priv=$(priv) $(spike_params) -l $(elf)
+		$(tool_path)/spike $(spike_stepout) $(spike_extension) --log-commits --isa=$(variant) --priv=$(priv) $(spike_params) -l $(elf)
 	cp $(log).iss $(log)
 
 ###############################################################################