[riot-notifications] [RIOT-OS/RIOT] Makefiles: add support to generate both `.hex` and `.bin` file and add FLASHFILE variable (#8838)

Gaëtan Harter notifications at github.com
Tue Jul 16 15:55:31 CEST 2019


This pull request is now not waiting for other pull requests anymore and I added the end of migration commit.

The test would prevent compilation:

```
FLASHFILE= make --no-print-directory -C examples/hello-world/
/home/harter/work/git/RIOT/examples/hello-world/../../Makefile.include:447: *** FLASHFILE is not defined for this board: .  Stop.
```

In the current form, it would ignore compiling it in `murdock` as `info-toolchains-supported` would return nothing (and not fail).
I could change it to not error when `info-toolchains-supported` is used if requested, but not sure if it makes it more maintainable.

```
FLASHFILE= make --no-print-directory -C examples/hello-world/ info-toolchains-supported
/home/harter/work/git/RIOT/examples/hello-world/../../Makefile.include:447: *** FLASHFILE is not defined for this board: .  Stop.
```

-----

I re-did the "Verifying after rebase" and found one remaining instance of setting `OFLAGS` format. It is split in #11849 but not part of this one as it is now just a duplication cleanup.





-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/8838#issuecomment-511826476
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190716/b642326c/attachment.html>


More information about the notifications mailing list