status=$?
if [ $status -eq 0 ]; then
+ if [ "${TESTS_SHELL}"x = x ]; then
+ #### Bonus: use heirloom shell to test, if available, and if
+ #### TESTS_SHELL hadn't already been set.
+ heirloom_shell=/usr/lib/heirloom/5bin/sh
+ if [ -x "${heirloom_shell}" ]; then
+ TESTS_SHELL="${heirloom_shell}"; export TESTS_SHELL
+ fi
+ fi
+
[ $verbose -ge 1 ] && echo testing . . .
checkoutput=`make $check 2>>$logfile`
status=$?
tests_summary=`echo "$checkoutput" | grep tests`
+ #### If multiple tests not run, that line will be caught by the
+ #### "grep tests" above.
+ test_not_run=`echo "$checkoutput" | grep 'test was not run'`
if [ "$tests_summary" ]; then
echo '===================' >>$logfile
echo $tests_summary >>$logfile
+ [ "$test_not_run" ] && echo "$test_not_run" >>$logfile
echo '===================' >>$logfile
[ "$check" = distcheck ] && \
echo "$checkoutput" | tail -n 4 >>$logfile