[riot-notifications] [RIOT-OS/RIOT] make: disable dwarf compression on CI builds (#12198)

Juan I Carrano notifications at github.com
Wed Sep 11 12:26:36 CEST 2019


yeah, thats OK. the relevant piece of code is this:


So stuff does not get removed from OPTIONAL_CFLAGS, it only gets filtered out when it is added to CFLAGS.

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190911/5b6e18ed/attachment.htm>

More information about the notifications mailing list