diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-06-24 14:19:34 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-06-24 14:19:34 +0000 |
| commit | e71d6032ca4561ecdd2c776b3e27c5f5ec69d0e0 (patch) | |
| tree | a462cc8bb56f936a8375df849bbf9b7e4304fd33 /pfinet | |
| parent | 1776c03031f4241f6044b90d485c4999ab52126b (diff) | |
(errexit, punt): Exit with status 8 for catastrophic failures.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions