diff --git a/src/tools/pch.jam b/src/tools/pch.jam index e06a92143..15f9e293b 100644 --- a/src/tools/pch.jam +++ b/src/tools/pch.jam @@ -75,7 +75,8 @@ class pch-generator : generator } else { - local r = [ run-pch $(project) $(name) : $(property-set) + local r = [ run-pch $(project) $(name) + : [ $(property-set).add-raw BOOST_BUILD_PCH_ENABLED ] : $(sources) ] ; return [ generators.add-usage-requirements $(r) : BOOST_BUILD_PCH_ENABLED ] ;