diff options
| author | anton <anton@cvs.openbsd.org> | 2018-08-21 18:06:13 +0000 |
|---|---|---|
| committer | anton <anton@cvs.openbsd.org> | 2018-08-21 18:06:13 +0000 |
| commit | 99c399cad12f62c274b3f060a6788f7df981dc20 (patch) | |
| tree | d102b7ed811c03f0adde28e95e85903ffce3641d /sys/conf/files | |
| parent | 5ab1acecaf16af3119453abea9ddd7ce87a287ce (diff) | |
Rework kcov kernel config. Instead of treating kcov as both an option and a
pseudo-device, get rid of the option. Enabling kcov now requires the following
line to be added to the kernel config:
pseudo-device kcov 1
This is how pseudo devices are enabled in general. A side-effect of this change
is that dev/kcov.c will no longer be compiled by default.
Prodded by deraadt@; ok mpi@ visa@
Diffstat (limited to 'sys/conf/files')
| -rw-r--r-- | sys/conf/files | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sys/conf/files b/sys/conf/files index e0b49cc8445..a196003bf54 100644 --- a/sys/conf/files +++ b/sys/conf/files @@ -1,4 +1,4 @@ -# $OpenBSD: files,v 1.664 2018/07/13 09:25:22 beck Exp $ +# $OpenBSD: files,v 1.665 2018/08/21 18:06:12 anton Exp $ # $NetBSD: files,v 1.87 1996/05/19 17:17:50 jonathan Exp $ # @(#)files.newconf 7.5 (Berkeley) 5/10/93 @@ -609,6 +609,9 @@ file dev/hotplug.c hotplug needs-flag pseudo-device pppoe: ifnet, ether, sppp file net/if_pppoe.c pppoe needs-flag +pseudo-device kcov +file dev/kcov.c kcov needs-flag + # XXX machine-independent SCSI files should live somewhere here, maybe # kernel sources |