1 files changed, 1 insertions, 1 deletions
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/