X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=423d59e79e85813f8d398c84cca819a9df74be5f;hb=refs%2Fheads%2Fbuild2;hp=2a3d71f3a81bb03bb1dc388ac46c7923f534412d;hpb=a5f96d8db046bc632654f3fa155bb975726bb935;p=pspp

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