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

diff --git a/.gitignore b/.gitignore
index 135879d3ac..423d59e79e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,13 +4,15 @@
 /aclocal.m4
 /autom4te.cache/
 /build[0-9]*/
-/buildnr/
+/buildnr
 /buildtmp/
 /config.log
 /config.status
 /configure
-/dist-pspp
-/dist-pspp.in
+/make-bin-dist
+/make-bin-dist.in
+/make-src-dist
+/make-src-dist.in
 /make-builder
 /make-builder.in
 /repo.git/