Clone of official tools
Diff: build_profiles.py
- Revision:
- 34:42f20e28adf5
- Parent:
- 33:c8effba9595f
- Child:
- 35:da9c89f8be7d
--- a/build_profiles.py Wed Feb 08 11:04:24 2017 -0600 +++ b/build_profiles.py Mon Feb 13 09:29:13 2017 -0600 @@ -81,6 +81,7 @@ for d in copy(dirs): if d.startswith('.'): dirs.remove(d) + continue if exists(join(root, d, f)): return abspath(join(root, d, f))