Add archives and make stamps to the .gitignore file.

diff --git a/.gitignore b/.gitignore
index c9a6158bc4e6631412b2f798e0e19f93a7bb4b8e..4460159c84260af7fdceb36fc28974c1e777243f 100644 (file)
--- 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*

diff --git a/ChangeLog b/ChangeLog
index 0453d97780656acb4de5c5d425a6e266d4f33401..c4412c8c47bd90a49e147013bb6b84890f48b589 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.