diff options
| -rw-r--r-- | INSTALL.cli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL.cli b/INSTALL.cli index 3d8a098..49cf63a 100644 --- a/INSTALL.cli +++ b/INSTALL.cli @@ -21,10 +21,10 @@ system is self-hosted, which means that unless you have obtained a pre-built binary from somewhere else, you will need to bootstrap it. To accomplish this, we use the \c{bootstrap.sh} shell script (or equivalent batch files for Windows) found in the root directory of the \c{build2} distribution. On -UNIX-like operating systems as well as MinGW a GNU \c{make} makefile called -\c{bootstrap.gmake} can also be used with the major advanage over the script -being support for parallel compilation and an out of tree build (see comments -inside the makefile for more information). +UNIX-like operating systems as well as on Windows with MinGW or Clang, a GNU +\c{make} makefile called \c{bootstrap.gmake} can also be used with the major +advanage over the script being support for parallel compilation and an out of +tree build (see comments inside the makefile for more information). The following is the recommended sequence of steps: |