From 07619d52fef6fda58cbc327512a4d8ec60ad5637 Mon Sep 17 00:00:00 2001
From: Simon Marchi <simon.marchi@polymtl.ca>
Date: Tue, 27 Sep 2016 15:10:42 +0100
Subject: [PATCH] Add archives and make stamps to the .gitignore file.

---
 .gitignore | 10 ++++++++++
 ChangeLog  |  4 ++++
 2 files changed, 14 insertions(+)

diff --git a/.gitignore b/.gitignore
index c9a6158bc4e..4460159c842 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*
diff --git a/ChangeLog b/ChangeLog
index 0453d977806..c4412c8c47b 100644
--- 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.
-- 
2.30.2