mirror of
https://github.com/php/php-src.git
synced 2026-04-03 14:12:38 +02:00
- Synch names with other extensions
This commit is contained in:
@@ -12,8 +12,8 @@ AC_DEFUN(MYSQL_LIB_CHK, [
|
||||
done
|
||||
])
|
||||
|
||||
PHP_ARG_WITH(pdo_mysql, for MySQL support,
|
||||
[ --with-pdo_mysql[=DIR] Include MySQL support. DIR is the MySQL base directory.])
|
||||
PHP_ARG_WITH(pdo-mysql, for MySQL support,
|
||||
[ --with-pdo-smysql[=DIR] Include MySQL support. DIR is the MySQL base directory.])
|
||||
|
||||
if test "$PHP_PDO_MYSQL" != "no"; then
|
||||
AC_DEFINE(HAVE_MYSQL, 1, [Whether you have MySQL])
|
||||
|
||||
@@ -9,7 +9,7 @@ if (PHP_PDO_MYSQL != "no") {
|
||||
EXTENSION("pdo_mysql", "pdo_mysql.c mysql_driver.c mysql_statement.c");
|
||||
ADD_FLAG('CFLAGS_PDO_MYSQL', "/I ..\\pecl");
|
||||
} else {
|
||||
WARNING("pdo_mysql not enabled; libraries and headers not found");
|
||||
WARNING("pdo-mysql not enabled; libraries and headers not found");
|
||||
}
|
||||
ADD_EXTENSION_DEP('pdo_mysql', 'pdo');
|
||||
ADD_EXTENSION_DEP('pdo-mysql', 'pdo');
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user