From 1769f8d71c3d527325c47c689cc4745913cf0f17 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Tue, 9 Jun 2020 16:07:08 -0700
Subject: Use Travis Workspaces (#1675)

* Use Travis Workspaces

Add stage to build FIRRTL and share it with later steps running the
tests

* [CI] Do not sbt clean in formal_equiv.sh

This change takes advantage of shared workspace in Travis

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>---
 scripts/formal_equiv.sh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
index 8214e56b..b595ff9a 100755
--- a/scripts/formal_equiv.sh
+++ b/scripts/formal_equiv.sh
@@ -25,7 +25,6 @@ make_verilog () {
     git checkout $1
     local filename="$DUT.$1.v"
 
-    sbt clean
     sbt "runMain firrtl.Driver -i $DUT.fir -o $filename -X verilog"
     RET=$filename
 }
-- 
cgit v1.2.3