commit 665ca230328afa2653003204ed0ab6fe7d1ffd3f
author Gilles Peskine <Gilles.Peskine@arm.com> Wed Sep 26 15:54:40 2018 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Thu Sep 27 10:17:40 2018 +0200
tree 7055084ff1c707f548d5409446e7244373007919
parent 96e0d8ebfcd89e509e1605664383e4e33792acb3

In keep-going mode, don't hard-fail on some auxiliary script

Add record_status in front of the invocation of several scripts where
it was missing.

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 53c5e37..7c2f71f 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -384,21 +384,21 @@
 # Indicative running times are given for reference.
 
 msg "test: recursion.pl" # < 1s
-tests/scripts/recursion.pl library/*.c
+record_status tests/scripts/recursion.pl library/*.c
 
 msg "test: freshness of generated source files" # < 1s
-tests/scripts/check-generated-files.sh
+record_status tests/scripts/check-generated-files.sh
 
 msg "test: doxygen markup outside doxygen blocks" # < 1s
-tests/scripts/check-doxy-blocks.pl
+record_status tests/scripts/check-doxy-blocks.pl
 
 msg "test: check-files.py" # < 1s
 cleanup
-tests/scripts/check-files.py
+record_status tests/scripts/check-files.py
 
 msg "test/build: declared and exported names" # < 3s
 cleanup
-tests/scripts/check-names.sh
+record_status tests/scripts/check-names.sh