X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=f8c59fe0c75a72c414585427f21303daca8261b7;hb=375a1fd3adcb23eb83ed6a6317ce0526f43964b3;hp=ad89bf36e4884d85df1c47754057f8b2e1635d28;hpb=f828f7bf95a31e45cfee1ad6978d1ae3dff7f3c0;p=pspp-builds.git

diff --git a/.gitignore b/.gitignore
index ad89bf36..f8c59fe0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,3 +39,5 @@ gitlog-to-changelog
 *.deps
 *.la
 *.libs
+/arg-nonnull.h
+/unused-parameter.h