diff options
| author | Simon Marchi <simon.marchi@polymtl.ca> | 2016-09-27 15:10:42 +0100 |
|---|---|---|
| committer | Nick Clifton <nickc@redhat.com> | 2016-09-27 15:10:42 +0100 |
| commit | 07619d52fef6fda58cbc327512a4d8ec60ad5637 (patch) | |
| tree | 1da5eb80c5384e4d68bcd4d4f4915b62a74d0454 /.gitignore | |
| parent | 1c5f704fc035bc705dee887418f42cb8bca24b5d (diff) | |
Add archives and make stamps to the .gitignore file.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index c9a6158bc4..4460159c84 100644 --- a/.gitignore +++ b/.gitignore @@ -15,6 +15,7 @@ *.o *.pyc *.tmp +*.a .deps .libs @@ -49,3 +50,12 @@ lost+found # ignore ./contrib/gcc_update output LAST_UPDATED REVISION + +stamp-* +*.stamp + +# ignore in-tree prerequisites +/mpfr* +/mpc* +/gmp* +/isl* |