diff options
| author | David Tardon <dtardon@redhat.com> | 2012-05-01 07:16:16 +0200 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2012-05-01 07:29:06 +0200 |
| commit | b9d0e597a7bc328ca99a1bf338a609cac23a4284 (patch) | |
| tree | 5364b7dbcbc9e37a48b7c9d9474459b562100485 /configure.in | |
| parent | c4c3faa8c425365b46611e1c68fd6cb5c1c2fb27 (diff) | |
export flex
Change-Id: I7d5d8e380e12cc66255ddc3ac3f70bab7713f8b6
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index f6466d8b3ee7..1d67570521b0 100644 --- a/configure.in +++ b/configure.in @@ -8371,6 +8371,7 @@ AC_PATH_PROG(FLEX, flex) if test -z "$FLEX"; then AC_MSG_ERROR([no flex found in \$PATH, install it]) fi +AC_SUBST([FLEX]) dnl *************************************** dnl Checking for patch dnl *************************************** |