build: Always rebuild firmware if any header file changes

This commit is contained in:
Michael Cardell Widerkrantz 2025-08-29 14:19:44 +02:00
parent 18386b4865
commit 17e5e77187
No known key found for this signature in database
GPG key ID: D3DB3DDF57E704E5

View file

@ -124,8 +124,9 @@ PICORV32_SRCS = \
$(P)/core/picorv32/rtl/picorv32.v
# Mention mgmt_app_digest.h explicitly since it needs to be generated.
FIRMWARE_DEPS = \
$(P)/fw/tk1/proto.h \
$(P)/fw/tk1/*.h \
$(P)/fw/tk1/mgmt_app_digest.h
FIRMWARE_OBJS = \