[riot-notifications] [RIOT-OS/RIOT] print_toolchain_versions: print system and make's default shell. (#10991)

Juan I Carrano notifications at github.com
Mon Feb 11 18:40:17 CET 2019


@jcarrano pushed 1 commit.

f60a658d7260c6cfcd5246be7ca6d23e7a4fa3be  fixup! get shell version info


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/10991/files/733b2c6ee2c43769c664407d5fcaeb9eda92097a..f60a658d7260c6cfcd5246be7ca6d23e7a4fa3be
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190211/d1e4fca1/attachment.html>


More information about the notifications mailing list