Index: third_party/polymer/v1_0/find_unused_elements.py |
diff --git a/third_party/polymer/v1_0/find_unused_elements.py b/third_party/polymer/v1_0/find_unused_elements.py |
index 20fc637d401f8cf15c57a332f4bb72902e70dc4b..a93b17764f8d1d29354ee86cf9f345ad4e4f7b3b 100755 |
--- a/third_party/polymer/v1_0/find_unused_elements.py |
+++ b/third_party/polymer/v1_0/find_unused_elements.py |
@@ -136,7 +136,8 @@ class UnusedElementsDetector(object): |
continue |
# Skip generated files that may include the element source. |
- if filename in ('crisper.js', 'vulcanized.html'): |
+ if filename in ('crisper.js', 'vulcanized.html', |
+ 'app.crisper.js', 'app.vulcanized.html'): |
continue |
with open(os.path.join(dirpath, filename)) as f: |