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 /configure.in | |
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 'configure.in')
0 files changed, 0 insertions, 0 deletions