diff options
author | Mark Fernandes <[email protected]> | 2017-11-08 17:16:01 -0500 |
---|---|---|
committer | Mark Fernandes <[email protected]> | 2017-11-13 11:44:45 -0500 |
commit | 39c5fb16a34c8ab5276ea7246c63cecb8150d83e (patch) | |
tree | 4f7e676ba472e658f13381b97c09f7f1a9b0e82a /.gitignore | |
parent | 19245b1ac7bf881319950adb973ff2ce24fea23e (diff) | |
download | otp-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-- | .gitignore | 1 |
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]* |