X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=c24b805ae8a18a367325e18fd5268672480a848c;hb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;hp=56d869b2b4951552e97c3d0a5afdf2794216bce1;hpb=ddb7b52128d8f1f54d9632dc3a15c7869e0fbcce;p=pspp-builds.git

diff --git a/.gitignore b/.gitignore
index 56d869b2..c24b805a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,4 +39,6 @@ gitlog-to-changelog
 *.deps
 *.la
 *.libs
+/arg-nonnull.h
 /package.m4
+/unused-parameter.h