diff options
author | 2015-06-25 07:11:18 -0700 | |
---|---|---|
committer | 2015-06-25 07:11:18 -0700 | |
commit | 224b04f6ef68549a7461e048fb2614974d69ee70 (patch) | |
tree | 4299e384b1aa37de8c443838b2e08cc932337497 /templates/tools | |
parent | fe8592ee994343821c8c4e906ee3bef3b4444e34 (diff) |
Make this more robust against merges
Diffstat (limited to 'templates/tools')
-rw-r--r-- | templates/tools/run_tests/sources_and_headers.json.template | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/templates/tools/run_tests/sources_and_headers.json.template b/templates/tools/run_tests/sources_and_headers.json.template index 01918d0a3d..1c0e04283a 100644 --- a/templates/tools/run_tests/sources_and_headers.json.template +++ b/templates/tools/run_tests/sources_and_headers.json.template @@ -20,8 +20,14 @@ def no_protos(src): ${json.dumps([{"name": tgt.name, "language": tgt.language, - "src": no_protos(tgt.src) + tgt.get('public_headers', []) + tgt.get('headers', []), - "headers": tgt.get('public_headers', []) + tgt.get('headers', []) + proto_headers(tgt.src), - "deps": tgt.get('deps', [])} + "src": sorted( + no_protos(tgt.src) + + tgt.get('public_headers', []) + + tgt.get('headers', [])), + "headers": sorted( + tgt.get('public_headers', []) + + tgt.get('headers', []) + + proto_headers(tgt.src)), + "deps": sorted(tgt.get('deps', []))} for tgt in (targets + libs)], sort_keys=True, indent=2)} |