aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlexandre Rames <alexandre.rames@linaro.org>2016-07-11 16:12:39 +0100
committerAlexandre Rames <alexandre.rames@linaro.org>2016-07-12 14:52:20 +0000
commitb2746629e867237cf6e54647872f0bd46d0130f2 (patch)
treed579d5f1afae88dbc15adf331ba729f094facf13 /.gitignore
parent9aded35530cca400c853a59bd279a1c946fcadae (diff)
downloadvixl-b2746629e867237cf6e54647872f0bd46d0130f2.tar.gz
Cache `tools/lint.py` results.
Change-Id: Id9ca69583796e202f68dad847ef640824146fd59
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1033be4f..ff125bde 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
log/
obj/
vixl_stats.csv
+tools/.cached_lint_results.pkl