diff options
| author | Daiki Ueno <dueno@redhat.com> | 2018-08-23 18:39:14 +0200 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2018-08-28 14:44:56 +0200 |
| commit | 2066e7c57a7ae82e35fee3deaa06d89498d749a3 (patch) | |
| tree | 49b6c260a41a65c4f675a58f98d262444ece81e7 /common | |
| parent | 7a844d8e8c1c87401b161094023cf309ca111095 (diff) | |
travis: Check valgrind exit code more strictly
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions