From 96849d66002984ac54d3963b7278947c201eb5e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Fri, 1 Dec 2017 21:48:46 +0100
Subject: [PATCH] Keep going if a test fails, but report it

---
 ttest | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ttest b/ttest
index ecd1ab7..40907e3 100755
--- a/ttest
+++ b/ttest
@@ -6,6 +6,7 @@ dirs=src/kernel
 
 main()
 {
+  failed=0
   for dir in $dirs; do
     local files=`find $dir -name "*.tt"`
     for f in $files; do
@@ -16,11 +17,12 @@ main()
 
       outfile=`mktemp`
       cc $f.c -o $outfile -ggdb -I $dir/include 2>&1 | sed -e 's/\.tt\.c:/\.tt:/'
-      $outfile $f
+      $outfile $f || failed=1
       rm $f.c $outfile
     done
   done
 
+  exit $failed
 
 }