diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2018-12-13 18:31:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-13 18:31:51 +0200 |
| commit | ddcbcae481f7ed6bdd94fa5a30ffdd1f69e934a2 (patch) | |
| tree | aec331d0c78ff2c22daabf15b8fb29ffed4e66b5 /bootstrap.sh | |
| parent | c6e4ba25278fa054e889a3286f1ca68df10e5087 (diff) | |
| parent | 7a05906aa9c7172e6a0dce4db485afbfb9832ccc (diff) | |
| download | boost-ddcbcae481f7ed6bdd94fa5a30ffdd1f69e934a2.tar.gz | |
Merge pull request #228 from mloskot/ml/bootstrap-verbose-on-project-jam
[master] Make bootstrap verbose about generating project-config.jam
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: |