diff options
| author |  Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-02-02 09:09:23 -0800 |
|---|---|---|
| committer | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-02-02 09:09:23 -0800 |
| commit | 9f7bda5652444c0408b7cba5986b1758ab547332 (patch) | |
| tree | cc85bd0f88bce543953a283de0e0f779df9837d9 /tools/buildgen/build-cleaner.py | |
| parent | a91abc42d390dddfe60f85f284f50049da736986 (diff) | |
| parent | 5350c2e703262af630bcb37af29bd748cf06429e (diff) | |
Merge pull request #321 from ctiller/build-cleaner
Build cleaner updates
Diffstat (limited to 'tools/buildgen/build-cleaner.py')
| -rwxr-xr-x | tools/buildgen/build-cleaner.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/buildgen/build-cleaner.py b/tools/buildgen/build-cleaner.py index f9307360c3..4992beb897 100755 --- a/tools/buildgen/build-cleaner.py +++ b/tools/buildgen/build-cleaner.py @@ -33,9 +33,9 @@ def clean_elem(indict): for name in ['public_headers', 'headers', 'src']: if name not in indict: continue inlist = indict[name] - protos = set(x for x in inlist if os.path.splitext(x)[1] == '.proto') + protos = list(x for x in inlist if os.path.splitext(x)[1] == '.proto') others = set(x for x in inlist if x not in protos) - indict[name] = sorted(protos) + sorted(others) + indict[name] = protos + sorted(others) return rebuild_as_ordered_dict(indict, _ELEM_KEYS) for filename in sys.argv[1:]: |