Add archives and make stamps to the .gitignore file.

10 years ago · 07619d52fe
2 changed files with 14 additions and 0 deletions
--- 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*
--- a/4
+++ b/4
@ -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.