Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2025-04-20 15:25:55 -04:00
Code Issues Packages Projects Releases Wiki Activity

fw: Change splint config

Browse Source 
- Now uses at least some of the standard libraries like stdlib.h,
  stddef.h, et cetera.

- Include LIBDIR headers.

- Disregard some warnings globally.
This commit is contained in:
Michael Cardell Widerkrantz 2025-04-10 16:20:44 +02:00 committed by Mikael Ågren
parent 2053a8e61c
commit ebe1fc9027
No known key found for this signature in database
GPG Key ID: E02DA3D397792C46
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
hw/application_fpga/Makefile
View File

@ -222,7 +222,7 @@ check:
.PHONY: splint
splint:
splint \
-nolib \
+unixlib \
-predboolint \
+boolint \
-nullpass \
@ -233,6 +233,12 @@ splint:
-unreachable \
-unqualifiedtrans \
-fullinitblock \
+gnuextensions \
-fixedformalarray \
-mustfreeonly \
-I $(LIBDIR)/include \
-I $(LIBDIR) \
-I $(LIBDIR)/blake2s \
$(CHECK_SOURCES)
testfw.elf: tkey-libs $(TESTFW_OBJS) $(P)/fw/tk1/firmware.lds