ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #8261 from cmonr/dont-fail-on-trailing-slash 

Enabled the removal of a trailing slash
pull/8374/head
Cruz Monrreal 2018-10-10 14:22:27 -05:00 committed by GitHub
parent 9f98d39d1f f5e6f16307
commit 161ca2b0ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/test/examples/examples_lib.py
View File

@ -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)