if not self._full_options:
// Note: Don"t inline this into the Options() call, as this populates
// self._post_bootstrap_config, which is another argument to that call.
bootstrap_options = self.get_bootstrap_options()
self._full_options = Options(self._env,
self._post_bootstrap_config,
known_scope_infos,
args=self._args,
After Change
if key not in self._full_options:
// Note: Don"t inline this into the Options() call, as this populates
// self._post_bootstrap_config, which is another argument to that call.
bootstrap_option_values = self.get_bootstrap_options().for_global_scope()
self._full_options[key] = Options.create(self._env,
self._post_bootstrap_config,
known_scope_infos,
args=self._args,
