diff options
| -rw-r--r-- | config_host.mk.in | 1 | ||||
| -rw-r--r-- | configure.in | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/config_host.mk.in b/config_host.mk.in index 5e02107c9630..c7b2075219a8 100644 --- a/config_host.mk.in +++ b/config_host.mk.in @@ -144,6 +144,7 @@ export EPM_FLAGS=@EPM_FLAGS@ export EXTERNAL_WARNINGS_NOT_ERRORS=@EXTERNAL_WARNINGS_NOT_ERRORS@ @x_Cygwin@ export FIND=@WIN_FIND@ export FLAT_LOGO_SVG=@FLAT_LOGO_SVG@ +export FLEX=@FLEX@ export FLUTE_JAR=@FLUTE_JAR@ export FONTCONFIG_CFLAGS=@FONTCONFIG_CFLAGS@ export FONTCONFIG_LIBS=@FONTCONFIG_LIBS@ 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 *************************************** |