From d9ec06192725bb6bf023120e99cbe8da33756628 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Tue, 21 Sep 2021 18:37:01 +0200
Subject: start using sparse's `-Wdecl`

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ca3184f..fbdf8a8 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ lint:
 	@tools/linter/main.rb
 
 check: $(shell find src/kernel/ -type f -name *.c)
-	@echo $^ | xargs -n 1 sparse $(CFLAGS) -Wno-non-pointer-null -Wno-decl
+	@echo $^ | xargs -n 1 sparse $(CFLAGS) -Wno-non-pointer-null
 
 clean:
 	rm -rv out/
-- 
cgit v1.2.3