mirror of
https://github.com/MariaDB/server.git
synced 2026-04-22 08:15:31 +02:00
Merge neptunus.(none):/home/msvensson/mysql/mysql-4.1-maint
into neptunus.(none):/home/msvensson/mysql/mysql-5.0-maint BitKeeper/etc/ignore: auto-union configure.in: Auto merged include/mysql.h: Auto merged mysql-test/mysql-test-run.pl: Auto merged include/Makefile.am: Merge, SUPERCLEANFILES and CLEANFILES has dissapeared in 5.0
This commit is contained in:
commit
80bd3e3856
6 changed files with 1287 additions and 2 deletions
|
|
@ -449,6 +449,10 @@ AC_SUBST(DOXYGEN)
|
|||
AC_SUBST(PDFLATEX)
|
||||
AC_SUBST(MAKEINDEX)
|
||||
|
||||
# icheck, used for ABI check
|
||||
AC_PATH_PROG(ICHECK, icheck, no)
|
||||
AC_SUBST(ICHECK)
|
||||
|
||||
# Lock for PS
|
||||
AC_PATH_PROG(PS, ps, ps)
|
||||
AC_MSG_CHECKING("how to check if pid exists")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue