mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
Merge work:/home/bk/mysql
into sergbook.mysql.com:/usr/home/serg/Abk/mysql
This commit is contained in:
commit
0a077d74bd
3 changed files with 2 additions and 1 deletions
|
@ -307,3 +307,4 @@ bdb/include/db_ext.h
|
|||
bdb/include/mutex_ext.h
|
||||
mit-pthreads/syscall.S
|
||||
mit-pthreads/config.flags
|
||||
stamp-h.in
|
||||
|
|
|
@ -172,6 +172,7 @@ test -z "$INSTALL_SCRIPT" && INSTALL_SCRIPT='${INSTALL_PROGRAM}'
|
|||
# Not critical since the generated file is distributed
|
||||
AC_PROG_YACC
|
||||
AC_CHECK_PROG(PDFMANUAL, pdftex, manual.pdf)
|
||||
AC_CHECK_PROG(DVIS, tex, manual.dvi)
|
||||
|
||||
AC_MSG_CHECKING("return type of sprintf")
|
||||
|
||||
|
|
|
@ -1 +0,0 @@
|
|||
timestamp
|
Loading…
Reference in a new issue