diff options
author | dzwdz | 2021-09-21 18:52:20 +0200 |
---|---|---|
committer | dzwdz | 2021-09-21 18:52:20 +0200 |
commit | ad81d4904ca9f710cf4d56de31eca994dc005844 (patch) | |
tree | a738b352dac7eea1001a1f8ee6a3ff7b6cb32990 /Makefile | |
parent | d9ec06192725bb6bf023120e99cbe8da33756628 (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-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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/ |