Copies the options that a workspace passes on to the workspaces it creates (Build_Options.Commonly_Propagated) from a to b.
copy_commonly_propagated_fields :: (a: C.Build_Options, b: *C.Build_Options)Parameters
- b: *C.Build_Options
Jacket
/
Jacket
Copies the options that a workspace passes on to the workspaces it creates (Build_Options.Commonly_Propagated) from a to b.
copy_commonly_propagated_fields :: (a: C.Build_Options, b: *C.Build_Options)