aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorMark Fernandes <[email protected]>2017-11-08 17:16:01 -0500
committerMark Fernandes <[email protected]>2017-11-13 11:44:45 -0500
commit39c5fb16a34c8ab5276ea7246c63cecb8150d83e (patch)
tree4f7e676ba472e658f13381b97c09f7f1a9b0e82a /.gitignore
parent19245b1ac7bf881319950adb973ff2ce24fea23e (diff)
downloadotp-39c5fb16a34c8ab5276ea7246c63cecb8150d83e.tar.gz
otp-39c5fb16a34c8ab5276ea7246c63cecb8150d83e.tar.bz2
otp-39c5fb16a34c8ab5276ea7246c63cecb8150d83e.zip
on raspi, ignore directories created by make
(cherry picked from commit 5a772d417173dee881e9c80113bbba441c939a83)
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 7bc051278c..011463cbc9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,6 +29,7 @@ autom4te.cache
# Do not use too creative wildcards.
# Those might ignore files that should not be ignored.
+armv7l-unknown-linux-gnueabihf
i686-pc-linux-gnu
x86_64-unknown-linux-gnu
i386-apple-darwin[0-9]*.[0-9]*.[0-9]*