1.1 --- a/common.py Fri Feb 24 13:27:44 2017 +0100
1.2 +++ b/common.py Fri Feb 24 16:13:28 2017 +0100
1.3 @@ -31,7 +31,7 @@
1.4
1.5 "Common output functionality."
1.6
1.7 - def check_output(self):
1.8 + def check_output(self, options=None):
1.9
1.10 "Check the existing output and remove it if irrelevant."
1.11
1.12 @@ -41,10 +41,14 @@
1.13 details = self.importer.get_cache_details()
1.14 recorded_details = self.get_output_details()
1.15
1.16 - if recorded_details != details:
1.17 + # Combine cache details with any options.
1.18 +
1.19 + full_details = options and (details + " " + options) or details
1.20 +
1.21 + if recorded_details != full_details:
1.22 self.remove_output()
1.23
1.24 - writefile(self.get_output_details_filename(), details)
1.25 + writefile(self.get_output_details_filename(), full_details)
1.26
1.27 def get_output_details_filename(self):
1.28