1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

mysql-5.5.37 selective merge

This commit is contained in:
Sergei Golubchik
2014-03-27 22:26:58 +01:00
1335 changed files with 3710 additions and 722 deletions

View File

@ -500,6 +500,7 @@ static void find_tool(char *tool_executable_name, const char *tool_name,
*/
if (run_tool(tool_executable_name,
&ds_tmp, /* Get output from command, discard*/
"--no-defaults",
"--help",
"2>&1",
IF_WIN("> NUL", "> /dev/null"),