Skip to content

Commit 632cd9d

Browse files
committed
Allow toolchain paths to be wrapped in quotes
1 parent 71c84e8 commit 632cd9d

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

tools/settings.py

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -88,8 +88,10 @@
8888

8989
for _n in _ENV_PATHS:
9090
if getenv('MBED_'+_n):
91-
if exists(getenv('MBED_'+_n)):
92-
globals()[_n] = getenv('MBED_'+_n)
91+
# It's common to provide paths with quotes for certain OSes
92+
env_path = getenv('MBED_'+_n).strip("\"'")
93+
if exists(env_path):
94+
globals()[_n] = env_path
9395
else:
9496
print("WARNING: MBED_%s set as environment variable but doesn't"
9597
" exist" % _n)

0 commit comments

Comments
 (0)