| commit | 53414af106e93830e655af6e9b420753cc13505f | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brians> | Sun Jun 08 15:41:04 2014 -0700 |
| committer | Brian Silverman <brians> | Sun Jun 08 15:41:04 2014 -0700 |
| tree | c81ab906faa1482684afbf75357828629cbe373a | |
| parent | 730bb010431f6be5547ce31507d87ca64e006e08 [diff] [blame] |
order platforms with equal priority deterministically
diff --git a/aos/build/build.py b/aos/build/build.py index e49f958..942e467 100755 --- a/aos/build/build.py +++ b/aos/build/build.py
@@ -867,8 +867,8 @@ build_env['PATH'] = os.environ['PATH'] return build_env - sorted_platforms = sorted(platforms, - key=lambda platform: -platform.priority()) + sorted_platforms = sorted( + platforms, key=lambda platform: (-platform.priority(), str(platform))) to_build = [] for platform in sorted_platforms: