diff options
author | 2015-10-08 23:25:06 +0200 | |
---|---|---|
committer | 2015-10-08 23:25:06 +0200 | |
commit | 52f6fc1e1eb617b20b6ebc784dad65fa582b5aa7 (patch) | |
tree | 14c07a5314c9ea8377fef54a9fa183fe526b3f71 /tools/run_tests/run_sanity.sh | |
parent | 6d22a583610c02de4f5c5139570ea5fcfb010a25 (diff) |
All of the subprojects need to generate a report, otherwise Jenkins will be sad.
Diffstat (limited to 'tools/run_tests/run_sanity.sh')
0 files changed, 0 insertions, 0 deletions