diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2014-05-30 15:58:30 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-05-30 15:58:30 +0200 |
| commit | 5681b3fc2a8e35a12cd7c8e94013611211188459 (patch) | |
| tree | 04d5447d4971062420d5a1e5789bb433a5e9dc26 /debian/postrm | |
| parent | 58377ceb4b62e8f50ddae8f17ce1511e4bf79a18 (diff) | |
check exit status of external solvers
Solvers are supposed to exit successfully even if they haven't found a
solution, but a solver which fails drastically (like e.g. segfaults)
should be detected and dealt with accordingly instead of ignored.
Diffstat (limited to 'debian/postrm')
0 files changed, 0 insertions, 0 deletions