Skip to content

Commit

Permalink
Remove duplicated print_rvfi_exec
Browse files Browse the repository at this point in the history
  • Loading branch information
@rez5427
rez5427 authored Sep 9, 2024
1 parent a58c58c commit ad8b8cb
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -301,7 +301,6 @@ rvfi_preserve_fns=-c_preserve rvfi_set_instr_packet \
-c_preserve rvfi_get_int_data \
-c_preserve rvfi_zero_exec_packet \
-c_preserve rvfi_halt_exec_packet \
-c_preserve print_rvfi_exec \
-c_preserve print_instr_packet \
-c_preserve print_rvfi_exec

Expand Down

0 comments on commit ad8b8cb

Please sign in to comment.