From ae5b0b29cf3e0e3b2960e2b7b7744df633135990 Mon Sep 17 00:00:00 2001 From: Mateusz Guzik Date: Thu, 30 Jan 2020 20:05:05 +0000 Subject: Remove duplicated empty lines from kern/*.c No functional changes. --- cpukit/score/src/kern_tc.c | 1 - 1 file changed, 1 deletion(-) diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c index 28a936232b..3af77ed05a 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) -- cgit v1.2.3