except self._unknown_internal_error:
return False, myfavorites
- if set(self._dynamic_config.digraph).intersection( \
+ digraph_set = frozenset(self._dynamic_config.digraph)
+
+ if digraph_set.intersection(
self._dynamic_config._needed_unstable_keywords) or \
- set(self._dynamic_config.digraph).intersection( \
+ digraph_set.intersection(
self._dynamic_config._needed_p_mask_changes) or \
- set(self._dynamic_config.digraph).intersection( \
+ digraph_set.intersection(
self._dynamic_config._needed_use_config_changes) or \
- set(self._dynamic_config.digraph).intersection( \
+ digraph_set.intersection(
self._dynamic_config._needed_license_changes) :
#We failed if the user needs to change the configuration
self._dynamic_config._success_without_autounmask = True
return False, myfavorites
+ digraph_set = None
+
if self._rebuild.trigger_rebuilds():
backtrack_infos = self._dynamic_config._backtrack_infos
config = backtrack_infos.setdefault("config", {})