summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck6
1 files changed, 6 insertions, 0 deletions
diff --git a/check b/check
index 04085763..7a3a12dc 100755
--- a/check
+++ b/check
@@ -1074,6 +1074,12 @@ function run_section()
fi; } | sed -e 's/^\(.\)/ \1/'
tc_status="fail"
fi
+
+ if [ "$tc_status" == "fail" ]; then
+ echo "$seqres.full:"
+ cat $seqres.full
+ fi
+
if [ -f $seqres.hints ]; then
if [ "$tc_status" == "fail" ]; then
echo