diff options
author | julian <julian@FreeBSD.org> | 1998-05-25 07:41:23 +0000 |
---|---|---|
committer | julian <julian@FreeBSD.org> | 1998-05-25 07:41:23 +0000 |
commit | 32d95890269b32e2d6156063f80005fa857b2ce0 (patch) | |
tree | fd03121151316902a95e8cba11459000bce13530 /gnu | |
parent | 538a48501430532406b95c8fba07528f2db29998 (diff) | |
download | FreeBSD-src-32d95890269b32e2d6156063f80005fa857b2ce0.zip FreeBSD-src-32d95890269b32e2d6156063f80005fa857b2ce0.tar.gz |
Take the user's "IGNORE_DIVERT" argument from where the user put it
and not from the PCB which HAPPENS to contain the same number most
of the time, but not always.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions