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

Correct revision compares

pull/3588/head
Jimmy Brisson 2017-01-13 12:14:20 -06:00
parent 7a8964af6f
commit 5ccd0153ee
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/arm_pack_manager/__init__.py
View File

@ -26,7 +26,8 @@ def strip_protocol(url) :
return protocol_matcher.sub("", str(url))
def largest_version(content) :
return sorted([t['version'] for t in content.package.releases('release')], reverse=True)[0]
return sorted([t['version'] for t in content.package.releases('release')],
reverse=True, key=lambda v: map(int, v.split(".")))[0]
def do_queue(Class, function, interable) :
q = Queue()