Index: build/jumbo.py |
diff --git a/build/jumbo.py b/build/jumbo.py |
index 004b22d08b948229b1e4c0566e01157b1cbef58d..40232394eb442871dcc8eeab3f003096b9fddf4b 100755 |
--- a/build/jumbo.py |
+++ b/build/jumbo.py |
@@ -44,7 +44,7 @@ def main(): |
while written_inputs < input_limit: |
filename = inputs[written_inputs] |
written_inputs += 1 |
- if filename.endswith(".h"): |
+ if filename.endswith(".h") or filename.endswith(".mm"): |
continue |
out.write("#include \"%s\"\n" % filename) |