diff options
Diffstat (limited to 'misc')
-rw-r--r-- | misc/ninja_syntax.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/misc/ninja_syntax.py b/misc/ninja_syntax.py index 263c9bc..b73a002 100644 --- a/misc/ninja_syntax.py +++ b/misc/ninja_syntax.py @@ -33,7 +33,7 @@ class Writer(object): self._line('%s = %s' % (key, value), indent) def rule(self, name, command, description=None, depfile=None, - generator=False): + generator=False, restat=False): self._line('rule %s' % name) self.variable('command', command, indent=1) if description: @@ -42,6 +42,8 @@ class Writer(object): self.variable('depfile', depfile, indent=1) if generator: self.variable('generator', '1', indent=1) + if restat: + self.variable('restat', '1', indent=1) def build(self, outputs, rule, inputs=None, implicit=None, order_only=None, variables=None): |