diff options
| author | Ryan Thomas McBride <mcbride@cvs.openbsd.org> | 2006-11-20 14:31:18 +0000 |
|---|---|---|
| committer | Ryan Thomas McBride <mcbride@cvs.openbsd.org> | 2006-11-20 14:31:18 +0000 |
| commit | 88bb23964ecc7e42dcff2537fd1af3c72f6cfe6e (patch) | |
| tree | 0bf7396bdba5e34049b43e66790eb6b369e4bb3f /sys/arch/sh | |
| parent | 2a08eb329d34dbab9c8d2c46e0a242364325e19b (diff) | |
-K argument to kill source tracking nodes explicitly, behaves like the
-k argument for killing states; From Berk D. Demir <bdd@mindcast.org>
ok dhartmei henning
Diffstat (limited to 'sys/arch/sh')
0 files changed, 0 insertions, 0 deletions