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-12 13:54:23 +0200 |
| commit | 2624e73da4a1bf929dda2b09f23ff40f0bf7e52e (patch) | |
| tree | b1adb3f74d8e73220f019c7cb0c0ed9673b2667c | |
| parent | 3e1c4cddbc4fdf6c39d4c1479774f7761346438f (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) |