Make Heidi optional

Setting HEIDI_OUTPUT to an empty value will skip the heidi generation, to speed
up britney in scenarios where heidi is not needed.
pre-rebase-2016-10-25
Robert Bruce Park 9 years ago committed by Martin Pitt
parent d1ea68dd51
commit 7be991e720

@ -489,7 +489,7 @@ class Britney(object):
self.log("Cannot use --control-files with mirror-layout (components)!", type="E") self.log("Cannot use --control-files with mirror-layout (components)!", type="E")
sys.exit(1) sys.exit(1)
if not hasattr(self.options, "heidi_delta_output"): if self.options.heidi_output and not hasattr(self.options, "heidi_delta_output"):
self.options.heidi_delta_output = self.options.heidi_output + "Delta" self.options.heidi_delta_output = self.options.heidi_output + "Delta"
self.options.nobreakall_arches = self.options.nobreakall_arches.split() self.options.nobreakall_arches = self.options.nobreakall_arches.split()
@ -2795,6 +2795,7 @@ class Britney(object):
for policy in self.policies: for policy in self.policies:
policy.save_state(self) policy.save_state(self)
if self.options.heidi_output:
# write HeidiResult # write HeidiResult
self.log("Writing Heidi results to %s" % self.options.heidi_output) self.log("Writing Heidi results to %s" % self.options.heidi_output)
write_heidi(self.options.heidi_output, self.sources["testing"], write_heidi(self.options.heidi_output, self.sources["testing"],

Loading…
Cancel
Save