diff options
Diffstat (limited to 'config/configure.in.in')
| -rw-r--r-- | config/configure.in.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/configure.in.in b/config/configure.in.in index c8df5a35..27e9f168 100644 --- a/config/configure.in.in +++ b/config/configure.in.in @@ -39,6 +39,9 @@ config CONFIGURE_has_gnu_m4_1_4_12_or_newer config CONFIGURE_has_python_3_4_or_newer @KCONFIG_python_3_4_or_newer@ +config CONFIGURE_has_bison_2_7_or_newer + @KCONFIG_bison_2_7_or_newer@ + config CONFIGURE_has_python @KCONFIG_python@ |