summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authordzwdz2021-09-21 18:37:01 +0200
committerdzwdz2021-09-21 18:37:01 +0200
commitd9ec06192725bb6bf023120e99cbe8da33756628 (patch)
tree847ff37279af11932891e70f7f14f9071182940f /Makefile
parentdc7a432b877222253fe02a332fba69d077eea8fe (diff)
start using sparse's `-Wdecl`
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ca3184f..fbdf8a8 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 -Wno-decl
+ @echo $^ | xargs -n 1 sparse $(CFLAGS) -Wno-non-pointer-null
clean:
rm -rv out/