From 0be47a04f7b016ab66eb16187f4dd22e90392b7b Mon Sep 17 00:00:00 2001 From: Robin Avery Date: Tue, 5 Mar 2024 01:19:57 -0500 Subject: [PATCH] Fix dtk binary feature (#18) --- tools/project.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/project.py b/tools/project.py index 0f756cf..841212b 100644 --- a/tools/project.py +++ b/tools/project.py @@ -244,7 +244,9 @@ def generate_build_ninja( deps="gcc", ) - if config.dtk_path: + if config.dtk_path is not None and config.dtk_path.is_file(): + dtk = config.dtk_path + elif config.dtk_path is not None: dtk = build_tools_path / "release" / f"dtk{EXE}" n.rule( name="cargo",