From 40abd97d4963775e6ec31b2b2ea80d2fd0642b7e Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sun, 1 Nov 2015 12:06:44 +0100
Subject: [PATCH] fix all-tests

---
 all-tests | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/all-tests b/all-tests
index 0aa6370f..a9fc3c6d 100755
--- a/all-tests
+++ b/all-tests
@@ -10,7 +10,7 @@ targets="test-node test-app"
 hash=$(git log -n 1 | head -1 | sed -e 's,commit ,,' -e 's,\(........\).*,\1,')
 
 # compute output file name
-output='all-tests.$hash'
+output="all-tests.$hash"
 
 # if there is any pending change, use another name
 is_pristine=""
@@ -37,14 +37,18 @@ function all_tests () {
     echo all-tests : end at; date; echo total duration $(($end-$begin)) seconds
 }
 
-all-tests >& $output
+all_tests >& $output
 retcod=$?
 
 # analyze this output for success or not
 success=$output.success
 failure=$output.failed
 
-[ "$retcod" != 0 ] && { touch $failure; exit; }
-grep -q '^FAIL' $output && { touch $failure; exit; }
-touch $success; exit
+if [ "$retcod" != 0 ]; then
+    touch $failure
+elif grep -q '^FAIL' $output; then
+     touch $failure
+else
+    touch $success
+fi
 
-- 
2.43.0