mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 03:17:20 +02:00
Bug#47612 mtr - improving the report for valgrind erorrs
- Improve the report produced when a valgrind error is detected
This commit is contained in:
parent
0ed8eea6b6
commit
621e98a31b
3 changed files with 6 additions and 3 deletions
|
|
@ -57,5 +57,5 @@ if (`select @result = 0`){
|
|||
skip OK;
|
||||
}
|
||||
--enable_query_log
|
||||
echo ^ Found warnings!!;
|
||||
echo ^ Found warnings in $log_error!!;
|
||||
exit;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue