summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authordzwdz2021-09-21 18:52:20 +0200
committerdzwdz2021-09-21 18:52:20 +0200
commitad81d4904ca9f710cf4d56de31eca994dc005844 (patch)
treea738b352dac7eea1001a1f8ee6a3ff7b6cb32990 /Makefile
parentd9ec06192725bb6bf023120e99cbe8da33756628 (diff)
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.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
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/