mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
5 lines
121 B
Bash
5 lines
121 B
Bash
# $Id$ -*- sh -*-
|
|
|
|
define_option with-dbase 'dBase support? ' yesno no \
|
|
' Whether to use the bundled dbase library.'
|