| commit | bf691c10e0b54d59151742b2be96128f524244a0 | [log] [tgz] |
|---|---|---|
| author | Bill Torpey <wallstprog@gmail.com> | Thu Feb 04 13:05:59 2021 -0800 |
| committer | Copybara-Service <copybara-worker@google.com> | Fri Feb 05 01:21:09 2021 -0800 |
| tree | df5f6855ed4dfd9bbe86f0ac33f53a3efc476e3a | |
| parent | 863f974d6cd828e9f1b8fb208ef9ccef66a5e007 [diff] |
[sanitizer] Add suffix to report file name For those using a GUI, it can be very helpful to have a particular suffix appended to the report file name, so it can be opened with a double-click. (see also: https://github.com/google/sanitizers/issues/951) Reviewed By: vitalybuka Differential Revision: https://reviews.llvm.org/D46546 GitOrigin-RevId: dd5c2b8de92d109c78b6b0961a496d328aa25854