diff options
| author | Devaev Maxim <[email protected]> | 2020-02-21 11:53:29 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2020-02-21 11:53:29 +0300 |
| commit | a84b6bd31af52d13dcaf93717376852c784a2705 (patch) | |
| tree | 61f202349fd5049ea89cd10bf04f6218d7f56414 | |
| parent | b7419ecb3a3710e4722f42d934826f6e6dc49cd7 (diff) | |
PROJECT_LIBDEPS_DIR
| -rw-r--r-- | hid/patch.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/hid/patch.py b/hid/patch.py index 24ba2123..73afdec7 100644 --- a/hid/patch.py +++ b/hid/patch.py @@ -5,7 +5,9 @@ Import("env") # ===== -env_path = join(env["PROJECTLIBDEPS_DIR"], env["PIOENV"]) +deps_path = env.get("PROJECT_LIBDEPS_DIR", env.get("PROJECTLIBDEPS_DIR")) +assert deps_path, deps_path +env_path = join(deps_path, env["PIOENV"]) flag_path = join(env_path, ".patched") if not exists(flag_path): |