X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=c24b805ae8a18a367325e18fd5268672480a848c;hb=fbba412681b5dff2abe256c54b59bff683faa00d;hp=ad89bf36e4884d85df1c47754057f8b2e1635d28;hpb=770f21f5544dd79d5c986a8317dc8475d961b7c2;p=pspp

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