summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authordanh-arm <dan.handley@arm.com>2016-04-07 17:11:45 +0100
committerdanh-arm <dan.handley@arm.com>2016-04-07 17:11:45 +0100
commit91e8ae66310142e9a62cb5fb45ade83d434acf95 (patch)
tree8774ff8fe05a8b82e33fe051aa5e804bfe1899dd /docs
parent105b59e7bb47b41daf8b707921203d13151b3227 (diff)
parent414ab8530dbd669e632dc09abb84eed88e8ebdb7 (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.md3
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
---------