--- configure.orig	2016-11-02 20:35:52 UTC
+++ configure
@@ -17212,9 +17212,7 @@ as_arg_v1="$bison_version"
 as_arg_v2="3.0"
 awk "$as_awk_strverscmp" v1="$as_arg_v1" v2="$as_arg_v2" /dev/null
 case $? in
-1) { { $as_echo "$as_me:$LINENO: error: not found" >&5
-$as_echo "$as_me: error: not found" >&2;}
-   { (exit 1); exit 1; }; };;
+1)  ;;
 0)  ;;
 2)  ;;
 esac