summaryrefslogtreecommitdiff
path: root/config/configure.in.in
diff options
context:
space:
mode:
authorChris Packham <judge.packham@gmail.com>2020-09-06 09:41:03 (GMT)
committerChris Packham <judge.packham@gmail.com>2020-09-06 09:41:03 (GMT)
commit32b52c0b5e8129e2ec59a7437a7df6230c5802a4 (patch)
tree0f74ec2fe2cd93d3a4d4190144033124aec7f5c2 /config/configure.in.in
parentaa07ac0e01d62d2018d33b7269dbce9dbc4400b8 (diff)
parentfb08fb616ff3736fff3d6d3c30f58f9e671bd452 (diff)
Merge branch 'keith-packard-picolibc' into master
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@