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