From 5ae1d2544514aa04240df7ed7f36442838dda9ea Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Wed, 1 Dec 2021 11:31:12 -0800
Subject: Make formal_equiv.sh robust to changes to ANTLR & Protobuf

---
 scripts/formal_equiv.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
index c3d45357..deb4884d 100755
--- a/scripts/formal_equiv.sh
+++ b/scripts/formal_equiv.sh
@@ -28,7 +28,7 @@ make_verilog () {
     git checkout $1
     local filename="$DUT.$1.v"
 
-    sbt "runMain firrtl.stage.FirrtlMain -i $DUT.fir -o $filename -X verilog"
+    sbt "clean; runMain firrtl.stage.FirrtlMain -i $DUT.fir -o $filename -X verilog"
     RET=$filename
 }
 
-- 
cgit v1.2.3