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/simple_liveness.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/simple_liveness.sh')

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