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

Juan I Carrano notifications at github.com
Thu Jan 17 17:56:31 CET 2019

### Contribution description

Due to by a recent bug report in the windows platform, I realized the `print_toolchain_versions.sh` script cannot detect the version of windows used. This patch fixes it.

### Testing procedure

Get a machine with Windows, and run `./dist/tools/ci/print_toolchain_versions.sh`. In master you get an unknown os. With this patch I get:

Operating System Environment
       Operating System: Microsoft Windows 10 Enterprise Evaluation 10.0.17134 N/A Build 17134
                 Kernel: MINGW32_NT-6.2 1.0.19(0.48/3/2) i686 unknown

That Linux still works will be tested by Travis, and Mac should not be a problem either, but mac users are welcome to test it.

You can view, comment on, or merge this pull request online at:


-- Commit Summary --

  * toosl/print_toolchain_versions: report windows version

-- File Changes --

    M dist/tools/ci/print_toolchain_versions.sh (34)

-- Patch Links --


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/20190117/b7ca8381/attachment-0001.html>

More information about the notifications mailing list