mirror of
https://github.com/MariaDB/server.git
synced 2025-06-03 07:02:23 +03:00
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"