diff options
author | Chris Packham <judge.packham@gmail.com> | 2020-09-06 09:40:41 (GMT) |
---|---|---|
committer | Chris Packham <judge.packham@gmail.com> | 2020-09-06 09:40:41 (GMT) |
commit | fb08fb616ff3736fff3d6d3c30f58f9e671bd452 (patch) | |
tree | 0f74ec2fe2cd93d3a4d4190144033124aec7f5c2 /config/configure.in.in | |
parent | aa07ac0e01d62d2018d33b7269dbce9dbc4400b8 (diff) | |
parent | c15de32ec64e398a97430a244e7510ccf8600116 (diff) |
Merge branch 'picolibc' of git://github.com/keith-packard/crosstool-ng into keith-packard-picolibc
Diffstat (limited to 'config/configure.in.in')
-rw-r--r-- | config/configure.in.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/configure.in.in b/config/configure.in.in index e042019..526064b 100644 --- a/config/configure.in.in +++ b/config/configure.in.in @@ -15,6 +15,12 @@ config CONFIGURE_has_wget config CONFIGURE_has_curl @KCONFIG_curl@ +config CONFIGURE_has_meson + @KCONFIG_meson@ + +config CONFIGURE_has_ninja + @KCONFIG_ninja@ + config CONFIGURE_has_make_3_81_or_newer @KCONFIG_make_3_81_or_newer@ |