diff options
-rwxr-xr-x | check | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |