Francisco Molina 5790e061c7 makefiles/boot/riotboot.mk: use BUILD_FILES
- Fixes compiling in docker by using BUILD_FILES to define
  extra files to be built
2019-09-30 13:09:58 +02:00
..