From 579e45a97e43fb263902d39ffbf306532f3449b4 Mon Sep 17 00:00:00 2001 From: robert-hh Date: Thu, 21 Dec 2023 09:07:35 +0100 Subject: [PATCH] tools/makemanifest.py: Expand the path only for known directories. That imposes the least side effects and does not add a naming convention. If a manifest.py script want to expand a path, it can do so using e.g. os.path.abspath(). Signed-off-by: robert-hh --- tools/makemanifest.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/makemanifest.py b/tools/makemanifest.py index a74a6934ae..92b9cfaf92 100644 --- a/tools/makemanifest.py +++ b/tools/makemanifest.py @@ -143,7 +143,7 @@ def main(): # Extract variables for substitution. for var in args.var: name, value = var.split("=", 1) - if os.path.exists(value): + if name in ("MPY_DIR", "MPY_LIB_DIR", "BOARD_DIR", "PORT_DIR") and os.path.exists(value): value = os.path.abspath(value) VARS[name] = value