diff options
| -rw-r--r-- | .gitignore | 10 | ||||
| -rw-r--r-- | ChangeLog | 4 |
2 files changed, 14 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* @@ -1,3 +1,7 @@ +2016-09-27 Simon Marchi <simon.marchi@polymtl.ca> + + * .gitignore: Add archives and make stamps. + 2016-07-20 Yan-Ting Lin <currygt52@gmail.com> * configure.ac (nds32*-*-*): Remove entry to enable gdb. |