mirror of https://github.com/ARMmbed/mbed-os.git
Enabled the removal of a trailing slash when sourcing examples from examples.json
parent
81c8520889
commit
cdfefd9d0c
|
@ -203,7 +203,7 @@ def deploy_repos(config, examples):
|
||||||
print("\nDeploying example repos....\n")
|
print("\nDeploying example repos....\n")
|
||||||
for example in config['examples']:
|
for example in config['examples']:
|
||||||
for repo_info in get_repo_list(example):
|
for repo_info in get_repo_list(example):
|
||||||
name = basename(repo_info['repo'])
|
name = basename(repo_info['repo'].strip('/'))
|
||||||
if name in examples:
|
if name in examples:
|
||||||
if os.path.exists(name):
|
if os.path.exists(name):
|
||||||
os.chdir(name)
|
os.chdir(name)
|
||||||
|
|
Loading…
Reference in New Issue