diff options
| author | Jérôme de Bretagne <jerome.debretagne@gmail.com> | 2019-11-01 11:21:57 +0100 |
|---|---|---|
| committer | Jérôme de Bretagne <jerome.debretagne@gmail.com> | 2019-11-01 11:21:57 +0100 |
| commit | a326cc542381708fbcc590f9cba0938c9b676eb7 (patch) | |
| tree | 70443fcabef1bc9a0028b6e9d023b00579a991f0 /.gitignore | |
| parent | b3f5bbb6a472069781b3ab934b15b9cd80198565 (diff) | |
| download | erlang-a326cc542381708fbcc590f9cba0938c9b676eb7.tar.gz | |
Update .gitignore for Android cross compilation
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9603304917..e0752c74ef 100644 --- a/.gitignore +++ b/.gitignore @@ -32,6 +32,8 @@ autom4te.cache # Do not use too creative wildcards. # Those might ignore files that should not be ignored. +aarch64-unknown-linux-android +arm-unknown-linux-androideabi armv7l-unknown-linux-gnueabihf i686-pc-linux-gnu x86_64-unknown-linux-gnu |