From: Eric Blake <ebb9@byu.net>
Date: Tue, 15 Sep 2009 21:56:39 +0000 (-0600)
Subject: maint: ignore gnulib-tool temp files
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b362649a288ba02eb66811ce42b2ed02eb0f672a;p=pspp

maint: ignore gnulib-tool temp files

* .gitignore: Ignore files created during gnulib-tool --test.

Signed-off-by: Eric Blake <ebb9@byu.net>
---

diff --git a/.gitignore b/.gitignore
index c360325340..b95fb408d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,6 @@
 *~
 .#*
 \#*#
+allsnippets.tmp
+amsnippet.tmp
 testdir*
diff --git a/ChangeLog b/ChangeLog
index dc32b4df4d..322aca52b2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-09-15  Eric Blake  <ebb9@byu.net>
+
+	maint: ignore gnulib-tool temp files
+	* .gitignore: Ignore files created during gnulib-tool --test.
+
 2009-09-13  Jim Meyering  <meyering@redhat.com>
 
 	posixtm: don't reject a time that specify "60" as the number of seconds