[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:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications