commit | e52851673117f2e486152c606b517637285b17aa | [log] [tgz] |
---|---|---|
author | TreeHugger Robot <treehugger-gerrit@google.com> | Fri Jan 19 03:37:25 2018 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Fri Jan 19 03:37:25 2018 +0000 |
tree | 5a2294840879975d88ae25bf7b65ec21e81ac536 | |
parent | 3727179195cc9d8c46431b6ab2616663b95889aa [diff] | |
parent | 1403ff2b0b5f23b11ce427f54c16d3ebd62100eb [diff] |
Merge "Ignore missing font in fontchain_linter.py"
diff --git a/tools/fonts/fontchain_linter.py b/tools/fonts/fontchain_linter.py index 15d39fd..ec40a222 100755 --- a/tools/fonts/fontchain_linter.py +++ b/tools/fonts/fontchain_linter.py
@@ -270,6 +270,9 @@ if index: index = int(index) + if not path.exists(path.join(_fonts_dir, font_file)): + continue # Missing font is a valid case. Just ignore the missing font files. + record = FontRecord( name, frozenset(scripts),