From 0636119cb5faf8e55a4a17bb00d15d6710679c35 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Tue, 22 Jan 2019 19:01:44 +0000
Subject: Better multithreading

---
 src/VeriFuzz/Simulator/General.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/VeriFuzz/Simulator/General.hs')

diff --git a/src/VeriFuzz/Simulator/General.hs b/src/VeriFuzz/Simulator/General.hs
index 538ecaa..543c139 100644
--- a/src/VeriFuzz/Simulator/General.hs
+++ b/src/VeriFuzz/Simulator/General.hs
@@ -55,3 +55,7 @@ timeout_ = command1_ "timeout" ["180"] . toTextIgnore
 bsToI :: ByteString -> Integer
 bsToI = B.foldl' (\i b -> (i `shiftL` 8) + fromIntegral b) 0
 {-# INLINE bsToI #-}
+
+noPrint :: Sh a -> Sh a
+noPrint =
+  print_stdout False . print_stderr False
-- 
cgit