summaryrefslogtreecommitdiff
path: root/config/configure.in.in
diff options
context:
space:
mode:
authorChris Packham <judge.packham@gmail.com>2020-09-06 09:40:41 (GMT)
committerChris Packham <judge.packham@gmail.com>2020-09-06 09:40:41 (GMT)
commitfb08fb616ff3736fff3d6d3c30f58f9e671bd452 (patch)
tree0f74ec2fe2cd93d3a4d4190144033124aec7f5c2 /config/configure.in.in
parentaa07ac0e01d62d2018d33b7269dbce9dbc4400b8 (diff)
parentc15de32ec64e398a97430a244e7510ccf8600116 (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.in6
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@