From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Mon, 14 Sep 2020 09:22:27 +0000 (+0200)
Subject: :wrench: Use Valgrind in scripts
X-Git-Tag: nightly~1328
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=d4ad51f8e3328745c87b653916a3497f6bc55021;p=gwion.git

:wrench: Use Valgrind in scripts
---

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