Fix the non-rvfi_dii build

2022-10-21 09:50:49 +00:00
parent de0e19ca55
commit 54456b5f50
1 changed files with 4 additions and 0 deletions
--- a/src_Core/Core/CoreW.bsv
+++ b/src_Core/Core/CoreW.bsv
@@ -638,7 +638,11 @@ module mkCoreW_reset #(Reset porReset)
 `endif
 */

+`ifdef RVFI_DII
   return tuple3 (innerReset, proc.rvfi_dii_server, ifc);
+`else
+   return tuple2 (innerReset, ifc);
+`endif
 endmodule: mkCoreW_reset

 // ================================================================