php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-11 10:03:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug: #9713

Browse Source
This commit is contained in:
foobar
2001-06-04 02:04:46 +00:00
parent 08ef1eac4a
commit fadd1472ea
1 changed files with 17 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
ext/standard/config.m4
View File

@@ -199,8 +199,23 @@ AC_FLUSH_IO
divert(5)dnl
AC_ARG_WITH(regex,
[ --with-regex=TYPE regex library type: system, apache, php],[
REGEX_TYPE=$withval
[ --with-regex=TYPE regex library type: system, apache, php],
[
case $withval in
system)
REGEX_TYPE=system
;;
apache)
REGEX_TYPE=apache
;;
php)
REGEX_TYPE=php
;;
*)
REGEX_TYPE=php
AC_MSG_WARN(Invalid regex library type. Using default value: php)
;;
esac
],[
REGEX_TYPE=php
])