X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=0dfdc0024dd571e2e0dfc13fbc63f68e8fe44d01;hb=9739c9678ab7bae8a0ebd67e9f3d2191d7ae0d31;hp=135879d3ac863bf89aa0708ebddcfaf5cb7b6a1a;hpb=69ed81b2ad13646d885c5f18604ecc5633404ddf;p=pspp

diff --git a/.gitignore b/.gitignore
index 135879d3ac..0dfdc0024d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 /aclocal.m4
 /autom4te.cache/
 /build[0-9]*/
+/buildnr
 /buildnr/
 /buildtmp/
 /config.log