From 24d8170fa18e3bad9ef2fa1e100e34e93a6c1126 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Sat, 9 Nov 2013 05:29:01 +0100 Subject: Remove lint code --- kern/debug.c | 3 --- 1 file changed, 3 deletions(-) (limited to 'kern/debug.c') diff --git a/kern/debug.c b/kern/debug.c index 7f6e5557..33e64f33 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -199,9 +199,6 @@ log(int level, const char *fmt, ...) { va_list listp; -#ifdef lint - level++; -#endif va_start(listp, fmt); _doprnt(fmt, listp, do_cnputc, 0, 0); va_end(listp); -- cgit v1.2.3