| 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:
|
|
|