Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/boostorg/boost.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVladimir Prus <vladimir.prus@gmail.com>2016-05-21 23:16:09 +0300
committerPeter Dimov <pdimov@pdimov.com>2017-01-07 15:15:29 +0300
commitf02b206a8b911310d460d119f8335d909fbd2cdd (patch)
treee5fc239c60e7cab9cc0aaec47be7a4875d070726 /Jamroot
parent7e1ae5664abfa858d4d984e89672ea501363301e (diff)
Load optional components only when their build directory is present.
Non-recursive super-project checkout still has empty directory for all components.
Diffstat (limited to 'Jamroot')
-rw-r--r--Jamroot4
1 files changed, 2 insertions, 2 deletions
diff --git a/Jamroot b/Jamroot
index 9250854702..7c49113515 100644
--- a/Jamroot
+++ b/Jamroot
@@ -248,12 +248,12 @@ for local l in $(all-libraries)
use-project /boost/$(l) : libs/$(l)/build ;
}
-if [ path.exists $(BOOST_ROOT)/tools/inspect ]
+if [ path.exists $(BOOST_ROOT)/tools/inspect/build ]
{
use-project /boost/tools/inspect : tools/inspect/build ;
}
-if [ path.exists $(BOOST_ROOT)/libs/wave/tool ]
+if [ path.exists $(BOOST_ROOT)/libs/wave/tool/build ]
{
use-project /boost/libs/wave/tool : libs/wave/tool/build ;
}