diff options
| author | Mateusz Loskot <mateusz@loskot.net> | 2018-04-11 14:46:35 +0200 |
|---|---|---|
| committer | Mateusz Ĺoskot <mateusz@loskot.net> | 2018-12-13 09:52:17 +0100 |
| commit | 7934a4b2727b3332f53ba07f3e33d493690fedef (patch) | |
| tree | 5b24c7298a57bd58b8a40ca7af10fd40a12bdf5a /bootstrap.sh | |
| parent | fee4a614b762054ff4d941a969f514c2e5abee94 (diff) | |
| download | boost-7934a4b2727b3332f53ba07f3e33d493690fedef.tar.gz | |
Make bootstrap verbose about generating project-config.jam
Indicate what toolset is being pre-configured as default.
Cherry-pick PR #182 to master
Diffstat (limited to 'bootstrap.sh')
| -rwxr-xr-x | bootstrap.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index c6f3423d3d..98ae1b987f 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -328,7 +328,7 @@ if test -r "project-config.jam"; then fi # Generate user-config.jam -echo "Generating Boost.Build configuration in project-config.jam..." +echo "Generating Boost.Build configuration in project-config.jam for $TOOLSET..." cat > project-config.jam <<EOF # Boost.Build Configuration # Automatically generated by bootstrap.sh @@ -393,6 +393,10 @@ Bootstrapping is done. To build, run: ./b2 +To generate header files, run: + + ./b2 headers + To adjust configuration, edit 'project-config.jam'. Further information: |