From bd9d07523e5b40732a79d3adb58c719fd97de026 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Sat, 7 Dec 2013 00:44:58 -0800
Subject: pyabc scripts: use -q instead of -c in scripts to prevent echoing the
 command to the command line.

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

(limited to 'scripts/super_prove.sh')

diff --git a/scripts/super_prove.sh b/scripts/super_prove.sh
index d55ae03d..da0a6ec6 100644
--- a/scripts/super_prove.sh
+++ b/scripts/super_prove.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/super_prove_aiger $*"
+exec ${bin_dir}/abc -q "/super_prove_aiger $*"
-- 
cgit v1.2.3