diff options
author | Florian Dold <florian@dold.me> | 2020-11-13 22:19:07 +0100 |
---|---|---|
committer | Florian Dold <florian@dold.me> | 2020-11-13 22:19:07 +0100 |
commit | 98485e23436473c0d259858494c4a2b6f65f355b (patch) | |
tree | 8c478c258ac9cb1a1bd4cecebf1f2df131a4e739 | |
parent | 269a5825164e84170127016793a6874aed1465a2 (diff) |
check for jq
-rw-r--r-- | build-system/configure.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build-system/configure.py b/build-system/configure.py index a34800c2a..e3785b15c 100644 --- a/build-system/configure.py +++ b/build-system/configure.py @@ -16,6 +16,8 @@ b = tbc.BuildConfig() b.enable_prefix() b.enable_configmk() b.add_tool(tbc.PosixTool("find")) +b.add_tool(tbc.PosixTool("find")) +b.add_tool(tbc.PosixTool("jq")) b.add_tool(tbc.NodeJsTool(version_spec=">=12")) b.add_tool(tbc.GenericTool("npm")) b.add_tool(tbc.GenericTool("pnpm", hint="Use 'sudo npm install -g pnpm' to install.")) |