echo "" >>$check.log
date >>$check.log
- echo $list | fmt | sed -e 's/^/ /' -e "s;$SRC_DIR/;;g" >>$check.log
- $interrupt && echo "Interrupted!" >>$check.log
echo "SECTION -- $section" >>$tmp.summary
echo "=========================" >>$tmp.summary
if [ ! -z "$n_try" -a $n_try != 0 ]
then
echo "Ran:$try"
+ echo "Ran:$try" >>$check.log
echo "Ran:$try" >>$tmp.summary
fi
+ $interrupt && echo "Interrupted!" >>$check.log
+
if [ ! -z "$notrun" ]
then
echo "Not run:$notrun"
then
echo "Failures:$bad"
echo "Failed $n_bad of $n_try tests"
- echo "Failures:$bad" | fmt >>$check.log
+ echo "Failures:$bad" >>$check.log
echo "Failed $n_bad of $n_try tests" >>$check.log
echo "Failures:$bad" >>$tmp.summary
echo "Failed $n_bad of $n_try tests" >>$tmp.summary