WL#5710 : enable and disable plugins
Added additional search paths for finding tools.
This commit is contained in:
parent
2e84ac3553
commit
3ee5d51daf
@ -924,6 +924,7 @@ static int find_tool(const char *tool_name, char *tool_path)
|
|||||||
|
|
||||||
const char *paths[]= {
|
const char *paths[]= {
|
||||||
opt_basedir, "/usr", "/usr/local/mysql", "/usr/sbin", "/usr/share",
|
opt_basedir, "/usr", "/usr/local/mysql", "/usr/sbin", "/usr/share",
|
||||||
|
"/extra", "/extra/debug", "/extra/release"
|
||||||
};
|
};
|
||||||
for (i= 0; i < (int)array_elements(paths); i++)
|
for (i= 0; i < (int)array_elements(paths); i++)
|
||||||
{
|
{
|
||||||
|
Loading…
x
Reference in New Issue
Block a user