mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01: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/.'
|