From 38d19eca143d1e0f6b2f42b8eafd27078d11f164 Mon Sep 17 00:00:00 2001
From: JWmer <26392242+NightlyKing@users.noreply.github.com>
Date: Fri, 20 Nov 2020 23:58:04 +0100
Subject: [PATCH] Update instrumented.sh

---
 tests/instrumented.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/instrumented.sh b/tests/instrumented.sh
index 07ecbb9c..dffc257a 100755
--- a/tests/instrumented.sh
+++ b/tests/instrumented.sh
@@ -24,7 +24,7 @@ case $1 in
     echo "valgrind-thread testing started"
     prefix=''
     exeprefix='valgrind --fair-sched=try --error-exitcode=42'
-    postfix='1>/dev/null'
+    postfix=''
     threads="2"
     bench_depth=5
     go_depth=10