diff options
author | Mateusz Guzik <mjg@FreeBSD.org> | 2020-01-30 20:05:05 +0000 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-10-28 09:42:21 +0200 |
commit | b1db479965f754e606bb049d060f4ecabacf02e1 (patch) | |
tree | 87b8d0accb8240702ff2c77d516c4a86af294303 | |
parent | fda993aec3a254203eb4e9382f45c9e02fa90c70 (diff) |
Remove duplicated empty lines from kern/*.c
No functional changes.
-rw-r--r-- | cpukit/score/src/kern_tc.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c index a02fcc294c..d227af9503 100644 --- a/cpukit/score/src/kern_tc.c +++ b/cpukit/score/src/kern_tc.c @@ -1780,7 +1780,6 @@ SYSCTL_PROC(_kern_timecounter, OID_AUTO, hardware, CTLTYPE_STRING | CTLFLAG_RW, 0, 0, sysctl_kern_timecounter_hardware, "A", "Timecounter hardware selected"); - /* Report the available timecounter hardware. */ static int sysctl_kern_timecounter_choice(SYSCTL_HANDLER_ARGS) |