Clone of official tools
Diff: build_profiles.py
- Revision:
- 36:96847d42f010
- Parent:
- 35:da9c89f8be7d
diff -r da9c89f8be7d -r 96847d42f010 build_profiles.py --- a/build_profiles.py Wed Feb 15 13:53:18 2017 -0600 +++ b/build_profiles.py Thu Jun 22 11:12:28 2017 -0500 @@ -60,7 +60,6 @@ for filename in filter(lambda s: s.endswith(".bld"), files): try: - # TODO check user has permission to link against build url = open(join(root, filename), 'r').read().strip() builds.append(re.sub(r'^.+/(.*?)$', r'\1', url)) except: @@ -72,7 +71,7 @@ def find_targets_json(path, depth=1): f = 'targets.json' if exists(join(path, f)): - return os.path.abspath(join(path, f)) + return abspath(join(path, f)) if depth > 2: return None @@ -196,6 +195,14 @@ '1a303c31ec8f': 134, '0b434d521da0': 135, '2abc4044d39c': 136, + 'c2078c12af99': 137, + '86e42d5e9f93': 138, + '4ba4acebdbae': 139, + '608e850de46b': 140, + 'd616554d63fc': 141, + '46ffe6167a0b': 142, + 'c417c1db60ce': 143, + '6b1076ac9921': 144, '6c34061e7c34': 121, '7c328cabac7e': 120, 'aae6fcc7d9bb': 119,