diff options
| -rw-r--r-- | ninjabackend.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ninjabackend.py b/ninjabackend.py index 9234c41..0918d7e 100644 --- a/ninjabackend.py +++ b/ninjabackend.py @@ -206,6 +206,8 @@ class NinjaBackend(backends.Backend): else: obj_list.append(self.generate_single_compile(target, outfile, RawFilename(src), True, header_deps)) + elif self.environment.is_object(src): + obj_list.append(src) else: # Assume anything not specifically a source file is a header. This is because # people generate files with weird suffixes (.inc, .fh) that they then include |