diff options
author | 2020-09-06 09:41:03 (GMT) | |
---|---|---|
committer | 2020-09-06 09:41:03 (GMT) | |
commit | 32b52c0b5e8129e2ec59a7437a7df6230c5802a4 (patch) | |
tree | 0f74ec2fe2cd93d3a4d4190144033124aec7f5c2 /config/configure.in.in | |
parent | aa07ac0e01d62d2018d33b7269dbce9dbc4400b8 (diff) | |
parent | fb08fb616ff3736fff3d6d3c30f58f9e671bd452 (diff) |
Merge branch 'keith-packard-picolibc' into master
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@ |