mirror of https://github.com/ARMmbed/mbed-os.git
Fixing use of get_repo_list in update function
parent
b739413526
commit
2fe1373cf1
|
@ -386,8 +386,8 @@ def update_mbedos_version(config, tag, examples):
|
|||
for example in config['examples']:
|
||||
if example['name'] not in examples:
|
||||
continue
|
||||
for repo in get_repo_list(example):
|
||||
update_dir = basename(repo) + "/mbed-os"
|
||||
for repo_info in get_repo_list(example):
|
||||
update_dir = basename(repo_info['repo']) + "/mbed-os"
|
||||
print("\nChanging dir to %s\n" % update_dir)
|
||||
os.chdir(update_dir)
|
||||
subprocess.call(["mbed-cli", "update", tag, "--clean"])
|
||||
|
|
Loading…
Reference in New Issue