diff options
author | danh-arm <dan.handley@arm.com> | 2016-04-07 17:11:45 +0100 |
---|---|---|
committer | danh-arm <dan.handley@arm.com> | 2016-04-07 17:11:45 +0100 |
commit | 91e8ae66310142e9a62cb5fb45ade83d434acf95 (patch) | |
tree | 8774ff8fe05a8b82e33fe051aa5e804bfe1899dd /docs | |
parent | 105b59e7bb47b41daf8b707921203d13151b3227 (diff) | |
parent | 414ab8530dbd669e632dc09abb84eed88e8ebdb7 (diff) |
Merge pull request #578 from EvanLloyd/ejll/woa_make2
Make improvements for host environment portability
Diffstat (limited to 'docs')
-rw-r--r-- | docs/user-guide.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/user-guide.md b/docs/user-guide.md index 37e20346..8d7376d4 100644 --- a/docs/user-guide.md +++ b/docs/user-guide.md @@ -42,6 +42,9 @@ The software has been tested on Ubuntu 14.04 LTS (64-bit). Packages used for building the software were installed from that distribution unless otherwise specified. +The software has also been built on Windows 7 Enterprise SP1, using CMD.EXE, +Cygwin, and Msys (MinGW) shells, using version 4.9.1 of the GNU toolchain. + 3. Tools --------- |