1.1 --- a/translator.py Mon Feb 27 19:07:13 2017 +0100
1.2 +++ b/translator.py Mon Feb 27 19:18:55 2017 +0100
1.3 @@ -47,7 +47,7 @@
1.4 self.optimiser = optimiser
1.5 self.output = output
1.6
1.7 - def to_output(self, debug=False, gc_sections=False):
1.8 + def to_output(self, reset=False, debug=False, gc_sections=False):
1.9
1.10 "Write a program to the configured output directory."
1.11
1.12 @@ -70,7 +70,9 @@
1.13
1.14 parts = module.name.split(".")
1.15
1.16 - if parts[0] != "native" and is_newer(module.filename, output_filename):
1.17 + if parts[0] != "native" and \
1.18 + (reset or is_newer(module.filename, output_filename)):
1.19 +
1.20 tm = TranslatedModule(module.name, self.importer, self.deducer, self.optimiser)
1.21 tm.translate(module.filename, output_filename)
1.22