diff options
author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-11 14:09:18 +0200 |
---|---|---|
committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-11 14:09:18 +0200 |
commit | df77d8a5fb5340b23fec5363f9a52704e940b048 (patch) | |
tree | 1bba838121aa99db9213a939e708464c9a65f38d /doc/makefile | |
parent | f1bdfe81560b110dbf1ee6f5f7fa8c98423ef345 (diff) |
if critical or-group can't be satisfied, exit directly.
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions