diff options
author | Alexandre Rames <alexandre.rames@linaro.org> | 2016-07-11 16:12:39 +0100 |
---|---|---|
committer | Alexandre Rames <alexandre.rames@linaro.org> | 2016-07-12 14:52:20 +0000 |
commit | b2746629e867237cf6e54647872f0bd46d0130f2 (patch) | |
tree | d579d5f1afae88dbc15adf331ba729f094facf13 /.gitignore | |
parent | 9aded35530cca400c853a59bd279a1c946fcadae (diff) | |
download | vixl-b2746629e867237cf6e54647872f0bd46d0130f2.tar.gz |
Cache `tools/lint.py` results.
Change-Id: Id9ca69583796e202f68dad847ef640824146fd59
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,3 +4,4 @@ log/ obj/ vixl_stats.csv +tools/.cached_lint_results.pkl |