mirror of
https://github.com/MariaDB/server.git
synced 2026-01-06 05:22:24 +03:00
Merge joreland@bk-internal.mysql.com:/home/bk/mysql-5.0-ndb
into mysql.com:/home/jonas/src/mysql-5.0-ndb
This commit is contained in:
@@ -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`
|
||||
|
||||
|
||||
Reference in New Issue
Block a user