Make this more robust against merges

pull/2214/head
Craig Tiller 10 years ago
parent fe8592ee99
commit 224b04f6ef
  1. 12
      templates/tools/run_tests/sources_and_headers.json.template
  2. 5484
      tools/run_tests/sources_and_headers.json

@ -20,8 +20,14 @@ def no_protos(src):
${json.dumps([{"name": tgt.name, ${json.dumps([{"name": tgt.name,
"language": tgt.language, "language": tgt.language,
"src": no_protos(tgt.src) + tgt.get('public_headers', []) + tgt.get('headers', []), "src": sorted(
"headers": tgt.get('public_headers', []) + tgt.get('headers', []) + proto_headers(tgt.src), no_protos(tgt.src) +
"deps": tgt.get('deps', [])} 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)], for tgt in (targets + libs)],
sort_keys=True, indent=2)} sort_keys=True, indent=2)}

File diff suppressed because it is too large Load Diff
Loading…
Cancel
Save