diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-10 21:02:34 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-10 21:02:34 +0000 |
| commit | 58ff328c15117a472ce2264b1c339aecea526552 (patch) | |
| tree | 6cb296810ae902258e7c059a79c44730fe973617 /hurd/interrupt.defs | |
| parent | 510329426a6ddc466498661bddce3ebd533b13fe (diff) | |
(print_store): New function.
(info): Use store_create to make a store and print_store to print it.
(parse_opt): Print a usage message for no args.
(options, parse_opt): Add --children option.
Diffstat (limited to 'hurd/interrupt.defs')
0 files changed, 0 insertions, 0 deletions