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

diff --git a/.gitignore b/.gitignore
index 0dfdc0024d..423d59e79e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,13 +5,14 @@
 /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/