announce flex version in autogen.sh

* autogen.sh: Announce flex version. Has the side-effect of checking for
  flex when building from git.

diff --git a/autogen.sh b/autogen.sh
index 501925f..5187cd4 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -23,6 +23,8 @@ fi
 echo ""
 ${M4:-m4} --version
 echo ""
+flex --version
+echo ""
 
 ######################################################################
 ### update infrastructure