mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-15 19:37:16 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge sergbook.mysql.com:/usr/home/serg/Abk/mysql

Browse source 
into sergbook.mysql.com:/usr/home/serg/Abk/mysql-4.0


BitKeeper/etc/ignore:
  auto-union
BitKeeper/etc/logging_ok:
  auto-union
BitKeeper/deleted/.del-stamp-h.in~d3fb1119ddf3630f:
  Auto merged
configure.in:
  Auto merged
Docs/manual.texi:
  Auto merged
strings/Makefile.am:
  Auto merged
This commit is contained in:
unknown 2002-08-13 21:15:14 +02:00
commit 2ae0e1c428
6 changed files with 21 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

1
configure.in
View file

@ -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")