diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-26 09:41:28 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-26 09:41:28 +0200 |
| commit | 8087dd44327bdbaf1629e189635afe9a5233ea2d (patch) | |
| tree | bd71b0e191bb1d690454cec792bb9d08f05e2f57 /build-mingw.bat | |
| parent | ea87c8052b83603765894a1b55b335f9dbca5ecc (diff) | |
Add support for --jobs|-j in build.sh script
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 b0e844e..5db670e 100644 --- a/build-mingw.bat +++ b/build-mingw.bat @@ -27,7 +27,7 @@ echo and 'no' (trust nothing). echo. echo The --make option can be used to bootstrap using GNU make. The first echo --make value should specify the make executable optionally followed by -echo additional make arguments, for example: +echo additional make options, for example: echo. echo %0 --make mingw32-make --make -j8 g++ echo. |