Merge commit '1cd63115be7a25d0ea18aaa0e1eff5658d8db77a'

[bpt/guile.git] / autogen.sh

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