diff options
| author | Stefan Esser <sesser@php.net> | 2006-06-16 08:00:23 +0000 |
|---|---|---|
| committer | Stefan Esser <sesser@php.net> | 2006-06-16 08:00:23 +0000 |
| commit | 06076fd0d6e76361af678e89934e63b556b58395 (patch) | |
| tree | eb6f23dcbf383c28644077f3da99ec0b9bb47034 | |
| parent | a1bdb59275a0f6cae8d9a27df12520a6d00cbb20 (diff) | |
| download | php-git-06076fd0d6e76361af678e89934e63b556b58395.tar.gz | |
Fixed that configure bails out on wrong flex version. Now a wrong flex version
will issue a warning and when flex is needed during the make process the make
process will die with an error message.
| -rw-r--r-- | acinclude.m4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/acinclude.m4 b/acinclude.m4 index 020f433fb6..dd475b28cf 100644 --- a/acinclude.m4 +++ b/acinclude.m4 @@ -2048,7 +2048,8 @@ AC_DEFUN([PHP_PROG_LEX], [ case $php_cv_flex_version in ""|invalid[)] flex_msg="flex versions supported for regeneration of the Zend/PHP parsers: $flex_version_list (found: $flex_version)." - AC_MSG_ERROR([$flex_msg]) + AC_MSG_WARN([$flex_msg]) + LEX="echo \"error: $flex_msg\" 1>&2 ; exit 1;" ;; esac PHP_SUBST(LEX) |