diff options
| -rw-r--r-- | ninjabackend.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ninjabackend.py b/ninjabackend.py index 7a36f6f..2396752 100644 --- a/ninjabackend.py +++ b/ninjabackend.py @@ -994,7 +994,9 @@ class NinjaBackend(backends.Backend): return (src_deps, other_deps) def generate_ending(self, outfile): - targetlist = [self.get_target_filename(t) for t in self.build.get_targets().values()] + targetlist = [self.get_target_filename(t) for t in self.build.get_targets().values()\ + if not isinstance(t, build.RunTarget)] + elem = NinjaBuildElement('all', 'phony', targetlist) elem.write(outfile) |