diff options
| author | Jack Koenig | 2020-06-09 16:07:08 -0700 |
|---|---|---|
| committer | GitHub | 2020-06-09 23:07:08 +0000 |
| commit | 1769f8d71c3d527325c47c689cc4745913cf0f17 (patch) | |
| tree | 3a102804839db4d8247f2ae6b5fdd3a32f84ee06 /scripts | |
| parent | e02f096d86885c8d4857f20514d5d909a5ecb0cc (diff) | |
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>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/formal_equiv.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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 } |