Fix dtk binary feature (#18)

2024-03-05 01:19:57 -05:00 · 2024-03-05 01:19:57 -05:00 · 0be47a04f7
parent 95c866aa9d
commit 0be47a04f7
1 changed files with 3 additions and 1 deletions
--- 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",