Dirk Froemberg 115e71f180 Allow options to be set via PHP4_OPTIONS if BATCH is enabled, e. g. ...

make -DBATCH PHP4_OPTIONS='"zlib" "MySQL" "IMAP"' install

Make sure options are surrounded by " (double-quotes).

2001-11-05 14:25:18 +00:00

..

configure.php

Allow options to be set via PHP4_OPTIONS if BATCH is enabled, e. g.

2001-11-05 14:25:18 +00:00