119 (specifically commit e7d11ec) has broken many of Cozy's command-line options, such as --verbose. Previously, the in-memory values of these options were copied to synthesis workers implicitly as they were fork()'d off. Now that there is more isolation between workers and no use of fork(), we need code to explicitly copy option values to the workers.
119 (specifically commit e7d11ec) has broken many of Cozy's command-line options, such as
--verbose. Previously, the in-memory values of these options were copied to synthesis workers implicitly as they werefork()'d off. Now that there is more isolation between workers and no use offork(), we need code to explicitly copy option values to the workers.