X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=25b989e7b1a0c473bfbe25f26d5d794a574d8528;hb=00129e248ab4ce96af72d380d8a0ccfad2f5d776;hp=115bb7c7632fbd5229f80bc9c131fc7efa14a80e;hpb=28e36cf42e55d270c8304c79f8845bf5f8e54516;p=pspp

diff --git a/.gitignore b/.gitignore
index 115bb7c763..25b989e7b1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,5 +41,7 @@ gitlog-to-changelog
 *.la
 *.libs
 /arg-nonnull.h
+/c++defs.h
 /package.m4
 /unused-parameter.h
+/warn-on-use.h