file_time.c needs to be treated like other build products

This commit is contained in:
Peter D. Gray 2024-03-14 10:17:23 -04:00
parent 93941f5e1b
commit c640480e6d
No known key found for this signature in database
GPG Key ID: A2DCD558C2BE5D7C
2 changed files with 3 additions and 2 deletions

1
stm32/.gitignore vendored
View File

@ -8,6 +8,7 @@ mpy-files.timestamp
firmware.lss
firmware-signed.*
firmware.elf
file_time.c
*-RC1-coldcard.dfu
# somewhat useful binary snapshots

View File

@ -78,9 +78,9 @@ dev: dev.dfu
up-dfu: dev.dfu
$(PYTHON_DO_DFU) -u dev.dfu
$(BOARD)/file_time.c: make_filetime.py *-Makefile
$(BOARD)/file_time.c: make_filetime.py *-Makefile shared.mk
./make_filetime.py $(BOARD)/file_time.c $(VERSION_STRING)
#WHY#cp $(BOARD)/file_time.c .
cp $(BOARD)/file_time.c .
# Make a factory release: using key #1
# - when executed in a repro w/o the required key, it defaults to key zero