disabled splint warning
This commit is contained in:
parent
fd0a4317b1
commit
bfd7c8b04e
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
|
@ -415,7 +415,7 @@ tar: $(FILES)
|
|||
rm -rf /tmp/$(FILE)
|
||||
|
||||
SPLINTOPTS := +posixlib -nestcomment +boolint +charintliteral -mayaliasunique
|
||||
SPLINTOPTS += -nullstate -unqualifiedtrans
|
||||
SPLINTOPTS += -nullstate -unqualifiedtrans +charint
|
||||
# extra options that will be removed later
|
||||
SPLINTOPTS += -mustfreeonly -temptrans -kepttrans
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue