[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:

  https://github.com/RIOT-OS/RIOT/pull/10807

-- Commit Summary --

  * toosl/print_toolchain_versions: report windows version

-- File Changes --

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

-- Patch Links --

https://github.com/RIOT-OS/RIOT/pull/10807.patch
https://github.com/RIOT-OS/RIOT/pull/10807.diff

-- 
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
-------------- 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