diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-11-30 16:37:09 +0100 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-11-30 16:37:09 +0100 |
| commit | a7e052eae64486a31595bc9b3f4a1c02c13256e3 (patch) | |
| tree | 82222fd4bd606f69f5e62467182e849e50491212 /README.make | |
| parent | 257e8d668c044fb0e9ad8e4b53afd32e07404831 (diff) | |
ensure that we exit instead of proceed in execution after the trap
(the execution leads to hard failures anyway)
Diffstat (limited to 'README.make')
0 files changed, 0 insertions, 0 deletions