From ad81d4904ca9f710cf4d56de31eca994dc005844 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Tue, 21 Sep 2021 18:52:20 +0200
Subject: start using sparse's `-Wnon-pointer-null`

While I personally don't see a reason to use NULL instead of 0, I assume
that whoever made that a sparse default knew what they were doing.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fbdf8a8..08bb5d6 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
+	@echo $^ | xargs -n 1 sparse $(CFLAGS)
 
 clean:
 	rm -rv out/
-- 
cgit v1.2.3