diff options
author | Peter Dimov <pdimov@gmail.com> | 2019-01-14 02:06:09 +0200 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2019-03-13 19:01:37 +0200 |
commit | 34857d48a0b093104eb58b411ef5eae08c113303 (patch) | |
tree | 6b17ee3fa14eb71576c5aa879b711c6becc142fb /bootstrap.bat | |
parent | 15d16fe6d014f708cefb038cfa4c5c174e7c5e27 (diff) | |
download | boost-34857d48a0b093104eb58b411ef5eae08c113303.tar.gz |
Do not show 'b2 headers' help from a release; the headers are already in boost/
Diffstat (limited to 'bootstrap.bat')
-rw-r--r-- | bootstrap.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bootstrap.bat b/bootstrap.bat index 0f5884093f..a269f7602d 100644 --- a/bootstrap.bat +++ b/bootstrap.bat @@ -68,10 +68,14 @@ ECHO Bootstrapping is done. To build, run: ECHO. ECHO .\b2 ECHO. + +IF EXIST libs\config\include ( ECHO. To generate header files, run: ECHO. ECHO. .\b2 headers ECHO. +) + ECHO To adjust configuration, edit 'project-config.jam'. ECHO Further information: ECHO. |