]> granicus.if.org Git - php/commitdiff
Fixed that configure bails out on wrong flex version. Now a wrong flex version
authorStefan Esser <sesser@php.net>
Fri, 16 Jun 2006 08:00:23 +0000 (08:00 +0000)
committerStefan Esser <sesser@php.net>
Fri, 16 Jun 2006 08:00:23 +0000 (08:00 +0000)
will issue a warning and when flex is needed during the make process the make
process will die with an error message.

acinclude.m4

index 020f433fb6377fe6192b1a144591468fce36542e..dd475b28cf59e76495a1923c29d9eb5f83f55477 100644 (file)
@@ -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)