diff --git a/v2/tools/pch.jam b/v2/tools/pch.jam index 575cbf568..e06a92143 100644 --- a/v2/tools/pch.jam +++ b/v2/tools/pch.jam @@ -38,6 +38,7 @@ type.register CPP_PCH : : PCH ; feature.feature pch : on off + : propagated ; feature.feature pch-header : : free dependency ; @@ -74,8 +75,10 @@ class pch-generator : generator } else { - return [ run-pch $(project) $(name) : $(property-set) - : $(sources) ] ; + local r = [ run-pch $(project) $(name) : $(property-set) + : $(sources) ] ; + return [ generators.add-usage-requirements $(r) + : BOOST_BUILD_PCH_ENABLED ] ; } }