diff options
author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-07-27 11:27:44 +0000 |
---|---|---|
committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-07-27 11:27:44 +0000 |
commit | b39faf7eafd0c20fef2ff31cf59425f3879b0cba (patch) | |
tree | 3e706ab8ac09dfe3ce3cf26b11147eff1b29a7f5 /sys/kern | |
parent | f5ecfa63afb83a67bdeae5d9c35636e0bff80ef3 (diff) |
subr_userconf.c only for BOOT_CONFIG option
Diffstat (limited to 'sys/kern')
-rw-r--r-- | sys/kern/subr_userconf.c | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/sys/kern/subr_userconf.c b/sys/kern/subr_userconf.c index efac403ac75..1c8304e4764 100644 --- a/sys/kern/subr_userconf.c +++ b/sys/kern/subr_userconf.c @@ -1,4 +1,4 @@ -/* $OpenBSD: subr_userconf.c,v 1.4 1996/07/02 06:52:00 niklas Exp $ */ +/* $OpenBSD: subr_userconf.c,v 1.5 1996/07/27 11:27:43 deraadt Exp $ */ /* * Copyright (c) 1996 Mats O Jansson <moj@stacken.kth.se> @@ -32,7 +32,6 @@ * SUCH DAMAGE. */ -#ifdef BOOT_CONFIG #include <sys/param.h> #include <sys/systm.h> #include <sys/device.h> @@ -838,10 +837,3 @@ user_config() } printf("Continuing...\n"); } -#else BOOT_CONFIG -void -user_config() -{ - printf("User Kernel Config isn't supported in this kernel\n"); -} -#endif |