diff options
author | dzwdz | 2021-09-21 18:37:01 +0200 |
---|---|---|
committer | dzwdz | 2021-09-21 18:37:01 +0200 |
commit | d9ec06192725bb6bf023120e99cbe8da33756628 (patch) | |
tree | 847ff37279af11932891e70f7f14f9071182940f /Makefile | |
parent | dc7a432b877222253fe02a332fba69d077eea8fe (diff) |
start using sparse's `-Wdecl`
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 -Wno-decl + @echo $^ | xargs -n 1 sparse $(CFLAGS) -Wno-non-pointer-null clean: rm -rv out/ |