Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2025-09-23 06:14:39 -04:00
Code Issues Projects Releases Packages Wiki Activity

fw: Make splint work on current code.

Browse source
This commit is contained in:
Michael Cardell Widerkrantz 2025-04-10 16:20:44 +02:00 • committed by Mikael Ågren
parent b70d42471b
commit 2746070402
No known key found for this signature in database
GPG key ID: E02DA3D397792C46
1 changed files with 7 additions and 1 deletions
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 .PHONY: splint
splint: splint:
splint \ splint \
-nolib \ +unixlib \
-predboolint \ -predboolint \
+boolint \ +boolint \
-nullpass \ -nullpass \
@ -233,6 +233,12 @@ splint:
-unreachable \ -unreachable \
-unqualifiedtrans \ -unqualifiedtrans \
-fullinitblock \ -fullinitblock \
+gnuextensions \
-fixedformalarray \
-mustfreeonly \
-I $(LIBDIR)/include \
-I $(LIBDIR) \
-I $(LIBDIR)/blake2s \
$(CHECK_SOURCES) $(CHECK_SOURCES)
testfw.elf: tkey-libs $(TESTFW_OBJS) $(P)/fw/tk1/firmware.lds testfw.elf: tkey-libs $(TESTFW_OBJS) $(P)/fw/tk1/firmware.lds