Clone of official tools

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,