diff options
| author | msvensson@shellback.(none) <> | 2006-09-15 16:52:08 +0200 |
|---|---|---|
| committer | msvensson@shellback.(none) <> | 2006-09-15 16:52:08 +0200 |
| commit | fb89352b47fbc0f6109f317a55b6f6fa1de510f7 (patch) | |
| tree | 8809855b1ede5602b752813ce6238a07ef779148 /configure.in | |
| parent | a297c29243c8afb3f54b01443dc009c18692ff52 (diff) | |
| parent | 731d346f14c56f7aad24a215a57cce55eb16df53 (diff) | |
| download | mariadb-git-fb89352b47fbc0f6109f317a55b6f6fa1de510f7.tar.gz | |
Merge msvensson.mysql.internal:mysql/my50-m-bug16576
into shellback.(none):/home/msvensson/mysql/work/my50-work
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 34d94b4f7da..dff405d1493 100644 --- a/configure.in +++ b/configure.in @@ -454,7 +454,7 @@ AC_PATH_PROG(PS, ps, ps) AC_MSG_CHECKING("how to check if pid exists") PS=$ac_cv_path_PS # Linux style -if $PS p $$ 2> /dev/null | grep $0 > /dev/null +if $PS p $$ 2> /dev/null | grep `echo $0 | sed s/\-//` > /dev/null then FIND_PROC="$PS p \$\$PID | grep -v grep | grep \$\$MYSQLD > /dev/null" # Solaris |