mirror of https://github.com/MariaDB/server
Browse Source
- Thanks to Christian Hammers for the patch configure.in: The configure check on how to run ps to get mysqld's $PID does not work on the Hurd, as the PPID is prepended with a - for login shells, thus making grep look for -bash, which it complains as an invalid argument. Filtering out '-' from the ps output makes this work fine.pull/374/head
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue