summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorfoobar <sniper@php.net>2001-06-04 02:04:46 +0000
committerfoobar <sniper@php.net>2001-06-04 02:04:46 +0000
commitfadd1472ea0574fa85ebf88dc23ab32f0b9215d1 (patch)
tree65d4d0d21310dccfd57e0e01b4ae091e73b54492
parent08ef1eac4ad86eb06009b822f1489d08e5e0c49a (diff)
downloadphp-git-fadd1472ea0574fa85ebf88dc23ab32f0b9215d1.tar.gz
Fix bug: #9713
-rw-r--r--ext/standard/config.m419
1 files changed, 17 insertions, 2 deletions
diff --git a/ext/standard/config.m4 b/ext/standard/config.m4
index 120e19ac14..4f68ecde38 100644
--- a/ext/standard/config.m4
+++ b/ext/standard/config.m4
@@ -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
])