From 862099ab1106c80c39c5f356fa3d9e391375464f Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Tue, 2 Nov 2021 16:01:44 -0700
Subject: [PATCH] Fix custom MODEL feature

Previously, the TestDriver would set MODEL to TestHarness if unset. This fixes the feature to let us set MODEL from the makefile.
---
 vcs.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vcs.mk b/vcs.mk
index c3ba6da6..e62b3f07 100644
--- a/vcs.mk
+++ b/vcs.mk
@@ -50,6 +50,7 @@ PREPROC_DEFINES = \
 	+define+RESET_DELAY=$(RESET_DELAY) \
 	+define+PRINTF_COND=$(TB).printf_cond \
 	+define+STOP_COND=!$(TB).reset \
+	+define+MODEL=$(MODEL) \
 	+define+RANDOMIZE_MEM_INIT \
 	+define+RANDOMIZE_REG_INIT \
 	+define+RANDOMIZE_GARBAGE_ASSIGN \