mirror of https://github.com/MariaDB/server
Browse Source
It has its limitations, e.g. it assumes that there's only one gdb and only one valgrind process is running. And a hard-coded one-second delay might be too short for slow machines. Still, it's better than "doesn't work at all"pull/569/head
2 changed files with 14 additions and 5 deletions
Loading…
Reference in new issue