diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-17 15:58:31 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-17 15:58:31 +0200 |
| commit | 9e1847f1193b0862c01689622a1427b26e925216 (patch) | |
| tree | b218982dfffffb7fd7265d4ce876529b079d0e67 /build-mingw.bat | |
| parent | 590ba56543bd8e10c05cd8bf9e9ff6ff1f72e03e (diff) | |
Minor improvements to build scripts
Diffstat (limited to 'build-mingw.bat')
| -rw-r--r-- | build-mingw.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-mingw.bat b/build-mingw.bat index ff9d3de..1cdeb12 100644 --- a/build-mingw.bat +++ b/build-mingw.bat @@ -20,9 +20,9 @@ echo --verbose ^<level^> Diagnostics verbosity level between 0 and 6. echo. echo By default the batch file will install into C:\build2. It also expects echo to find the base utilities in the bin\ subdirectory of the installation -echo directory (C:\build2\bin\ by default). +echo directory ^(C:\build2\bin\ by default^). echo. -echo The --trust option recognizes two special values: 'yes' (trust everything) +echo The --trust option recognizes two special values: 'yes' ^(trust everything^) echo and 'no' (trust nothing). echo. echo The --make option can be used to bootstrap using GNU make. The first |