From 265c2e620bc12969df57564efd7f83f43a21ecee 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 0051d49330..a72abaca35 100644 --- a/cpukit/score/src/kern_tc.c +++ b/cpukit/score/src/kern_tc.c @@ -1763,7 +1763,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