diff options
| author | Ronny Chevalier <chevalier.ronny@gmail.com> | 2014-06-23 21:28:23 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2014-06-24 02:40:51 +0200 |
| commit | 5549f483d06d2e5c91da76b5780c5f0e217b472e (patch) | |
| tree | 5b60bfa686fb4583488cf256e6bcd47489572409 /man | |
| parent | e80cde5e969e050c6eaab425fc46bbe55e857f24 (diff) | |
build-sys: do not run coverage if build failed
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions