diff options
Diffstat (limited to 'firmware/Makefile')
| -rw-r--r-- | firmware/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/firmware/Makefile b/firmware/Makefile index 924ff0da14..8d3bfb0752 100644 --- a/firmware/Makefile +++ b/firmware/Makefile @@ -59,6 +59,11 @@ filechk_fwbin = { \ echo "\#endif" ;\ echo ".global _fw_$(FWSTR)_end" ;\ echo "_fw_$(FWSTR)_end:" ;\ + echo "\#ifdef __PBL__" ;\ + echo " .section .missing_fw,\"a\"" ;\ + echo "_fwname_$(FWSTR):" ;\ + echo ".ascii \"firmware/$(FWNAME)\\\\n\"" ;\ + echo "\#endif" ;\ } __fwbin_sha = { \ |