From d4ad51f8e3328745c87b653916a3497f6bc55021 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Mon, 14 Sep 2020 11:22:27 +0200
Subject: [PATCH] :wrench: Use Valgrind in scripts

---
 scripts/test.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/scripts/test.sh b/scripts/test.sh
index 8aa5798b..e0239f8c 100644
--- a/scripts/test.sh
+++ b/scripts/test.sh
@@ -398,7 +398,15 @@ clean() {
 
 if [ -f test.log ] && [ -z "$NO_LOG" ]
 then
-  cat test.log
+#  cat test.log
+# assuming CI for now
+  sudo apt-get update -y
+  sudo apt-get install -y valgrind
+  for file in $(cat test.log)
+  do
+      cat $file
+      valgrind ./gwion $file
+  done
   exit 1
 else
   exit 0
-- 
2.43.0