diff --git a/src/build-system.jam b/src/build-system.jam index f938aa00e..4626c5076 100755 --- a/src/build-system.jam +++ b/src/build-system.jam @@ -132,6 +132,10 @@ local argv = [ modules.peek : ARGV ] ; local option-toolsets = [ regex.split-list [ MATCH ^--toolset=(.*) : $(argv) ] : "," ] ; local feature-toolsets = [ regex.split-list [ MATCH ^toolset=(.*) : $(argv) ] : "," ] ; +# if the user specified --toolset=..., we need to add toolset=... to +# the build request +local extra-build-request ; + if ! $(ignore-config) { for local toolset-version in $(option-toolsets) $(feature-toolsets)