Commit 37943710 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 d505ee07 9f2240b4
Loading
Loading
Loading
Loading
+1 −2
Original line number Diff line number Diff line
@@ -158,8 +158,7 @@ do
	*) fail; res_txt="FAILED";;
	esac

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

	total=`expr $total + $time`