diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-11 15:44:39 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-11 15:44:39 +0200 |
commit | 1ee55930c06cc1e39da63c0096fce7e9facee103 (patch) | |
tree | 4a201823a6d3527de393da91b7ff5b4123bce50e /build-mingw.bat | |
parent | 3bfe882189f708f4fc83fbed5ae20fa5851e38bf (diff) |
Rename BOOTSTRAP-{MINGW,MSVC} to BOOTSTRAP-WINDOWS-{...}
Also mention WSL in addition to MSYS and Cygwin as a UNIX-like emulation
on Windows.
Diffstat (limited to 'build-mingw.bat')
-rw-r--r-- | build-mingw.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-mingw.bat b/build-mingw.bat index b505c3d..53ba6a3 100644 --- a/build-mingw.bat +++ b/build-mingw.bat @@ -31,7 +31,7 @@ echo additional make options, for example: echo. echo %0 --make mingw32-make --make -j8 g++ echo. -echo See the BOOTSTRAP-MINGW file for details. +echo See the BOOTSTRAP-WINDOWS-MINGW file for details. echo. goto end |