X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=135879d3ac863bf89aa0708ebddcfaf5cb7b6a1a;hb=69ed81b2ad13646d885c5f18604ecc5633404ddf;hp=2a3d71f3a81bb03bb1dc388ac46c7923f534412d;hpb=a6f5a05fa098aeb35cd184682c271244f05907e8;p=pspp

diff --git a/.gitignore b/.gitignore
index 2a3d71f3a8..135879d3ac 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,16 @@
-/builds/
-/timings
+/.autom4te.cfg
+/Makefile
+/Makefile.in
+/aclocal.m4
+/autom4te.cache/
+/build[0-9]*/
+/buildnr/
+/buildtmp/
+/config.log
+/config.status
+/configure
+/dist-pspp
+/dist-pspp.in
+/make-builder
+/make-builder.in
+/repo.git/