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

Kaspar Schleiser notifications at github.com
Wed Sep 11 12:26:56 CEST 2019

I still suggest merging this as is and revert/fix properly later. PR's are queuing up in Murdock, everyone is waiting.

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/08af22f0/attachment.htm>

More information about the notifications mailing list