for ac_exec_ext in '' $ac_executable_extensions; do
ac_path_FLEX="$as_dir/$ac_prog$ac_exec_ext"
{ test -f "$ac_path_FLEX" && $as_test_x "$ac_path_FLEX"; } || continue
-as_arg_v1=`$ac_path_FLEX --version | $SED -e '1 s/^.* \([0-9.]*\)$/\1/p;d'`
+as_arg_v1=`$ac_path_FLEX --version | $SED -e '1 s/^[^0-9.]* \([0-9.]*\).*$/\1/p;d'`
as_arg_v2=2.5.33
awk "$as_awk_strverscmp" v1="$as_arg_v1" v2="$as_arg_v2" /dev/null
case $? in #(