diff options
| author | Gaëtan Gilbert | 2019-02-11 17:05:25 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-11 17:05:25 +0100 |
| commit | d020fbbb2d6d26d1c0c587b2eeee1be3f9f47f49 (patch) | |
| tree | 2f8de938d6b317418d75bb09a327c44b13db3660 /dev | |
| parent | 9352347ee0ea77e0095145afe8c4824a4d5ca32c (diff) | |
Don't save expected failure logs from opened/ bugs.
Grepping for "Error!" is how we decide if we exit with failure or not.
I don't remember why I used the "==> FAILURE <==" string in the
save-logs script but it was an error.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions