From 8ab501e7527139a4ee8d0b38f9b4384551387043 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Mon, 18 Dec 2017 12:01:22 -0800
Subject: Bump sbt (#703)

Bump SBT to 1.0.4 and update plugins
Update Scala versions and sbt commands in .travis.yml
Replace run-main with runMain
---
 scripts/formal_equiv.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
index 2e9fa74d..407ae753 100755
--- a/scripts/formal_equiv.sh
+++ b/scripts/formal_equiv.sh
@@ -26,7 +26,7 @@ make_verilog () {
     local filename="$DUT.$1.v"
 
     sbt clean
-    sbt "run-main firrtl.Driver -i $DUT.fir -o $filename -X verilog"
+    sbt "runMain firrtl.Driver -i $DUT.fir -o $filename -X verilog"
     RET=$filename
 }
 
-- 
cgit v1.2.3