[riot-notifications] [RIOT-OS/RIOT] toosl/print_toolchain_versions: report windows version (#10807)

Juan I Carrano notifications at github.com
Thu Jan 17 18:17:14 CET 2019


Mmmm, it seems our docker image has dash as the default shell. Since we are using bashisms for our other scripts, I think it is reasonable to use `#!/bin/bash` for this one too. @cladmi what do you think?

-- 
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/10807#issuecomment-455254113
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190117/d9e27b19/attachment.html>


More information about the notifications mailing list