diff options
| author | Andy Wingo <wingo@pobox.com> | 2010-11-20 23:18:43 +0100 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2010-11-20 23:21:54 +0100 |
| commit | 6349a556298edc3e11b88bb45a59c545823a0755 (patch) | |
| tree | d882cdfd4ec8a6abba7efa2d6e23e9bbd3b86b9c | |
| parent | b710608c87f3a868921855d45c41f77b1f5c0dc2 (diff) | |
| download | guile-6349a556298edc3e11b88bb45a59c545823a0755.tar.gz | |
announce flex version in autogen.sh
* autogen.sh: Announce flex version. Has the side-effect of checking for
flex when building from git.
| -rwxr-xr-x | autogen.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/autogen.sh b/autogen.sh index 501925f40..5187cd4aa 100755 --- a/autogen.sh +++ b/autogen.sh @@ -23,6 +23,8 @@ fi echo "" ${M4:-m4} --version echo "" +flex --version +echo "" ###################################################################### ### update infrastructure |