summaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorScott Shawcroft <scott.shawcroft@gmail.com>2017-11-15 15:05:34 -0800
committerScott Shawcroft <scott.shawcroft@gmail.com>2017-11-15 21:31:21 -0800
commitb1998cb0b1ed562922f992295dcc1c121273ef07 (patch)
tree5cbebbae407aaeb78b13e3ab432debcdae37a39f /.gitattributes
parent2d0d1ef5f288afae3de97da4c094d3d0414da630 (diff)
Speed up the Travis build.
This does two major things: 1. It stores the arm gcc in the repo. The download from the PPA was taking between 2 and 7 minutes. 2. It splits each board into a separate job so they are built in parallel.
Diffstat (limited to '.gitattributes')
-rw-r--r--.gitattributes1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes
index 133e2625c..91863791e 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -11,6 +11,7 @@
*.jpg binary
*.dxf binary
*.mpy binary
+*.deb binary
# These should also not be modified by git.
tests/basics/string_cr_conversion.py -text