diff options
author | wollman <wollman@FreeBSD.org> | 1996-01-04 21:13:23 +0000 |
---|---|---|
committer | wollman <wollman@FreeBSD.org> | 1996-01-04 21:13:23 +0000 |
commit | 39d3a9a3d35d380cd5627d8f1fa68782a1d614c0 (patch) | |
tree | 334713baaeaaaca13f522ab35fdd0c97996ced19 /sys/kern/subr_prf.c | |
parent | 9414d04bd673656f336b114777ba2eca834ae893 (diff) | |
download | FreeBSD-src-39d3a9a3d35d380cd5627d8f1fa68782a1d614c0.zip FreeBSD-src-39d3a9a3d35d380cd5627d8f1fa68782a1d614c0.tar.gz |
Convert DDB to new-style option.
Diffstat (limited to 'sys/kern/subr_prf.c')
-rw-r--r-- | sys/kern/subr_prf.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/kern/subr_prf.c b/sys/kern/subr_prf.c index 83e6f09..79802ec 100644 --- a/sys/kern/subr_prf.c +++ b/sys/kern/subr_prf.c @@ -36,9 +36,11 @@ * SUCH DAMAGE. * * @(#)subr_prf.c 8.3 (Berkeley) 1/21/94 - * $Id: subr_prf.c,v 1.18 1995/08/24 12:54:11 davidg Exp $ + * $Id: subr_prf.c,v 1.19 1995/12/14 08:31:41 phk Exp $ */ +#include "opt_ddb.h" + #include <sys/param.h> #include <sys/systm.h> #include <sys/reboot.h> |