mirror of
https://github.com/php/php-src.git
synced 2026-04-04 14:42:49 +02:00
8 lines
222 B
Plaintext
8 lines
222 B
Plaintext
# $Source$
|
|
# $Id$
|
|
|
|
define_option with-mysql 'MySQL support?' yesnodir \
|
|
'no /usr/local MySQL install' \
|
|
' Whether to build PHP with MySQL support.\n
|
|
More info about MySQL can be found at http://www.mysql.com/.'
|