Commit 66d5e4e8 authored by unknown's avatar unknown
Browse files

Merge mysql.com:/home/jonas/src/mysql-4.1

into mysql.com:/home/jonas/src/mysql-5.0

parents 7b5ef7cc 3ca04269
Loading
Loading
Loading
Loading
+5 −1
Original line number Diff line number Diff line
@@ -154,9 +154,13 @@ do
	ts=`time_spec $time`
	res_txt=""
	case $res in
	0) pass; res_txt="PASSED"; res_dir=" ";;
	0) pass; res_txt="PASSED";;
	*) fail; res_txt="FAILED";;
	esac

	if [ ! -d "result.$no" ]; then res_dir=" "; fi
	    

	total=`expr $total + $time`

	(