X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2F.gitignore;h=78cb021148dd649878958ce00c6e3575874fc105;hb=refs%2Fheads%2Fctables10;hp=5a3003390b7043b4ba0043886abc066d03c7df91;hpb=5f19b467a68c1f2b4973c5eb398e5e1b802ef394;p=pspp

diff --git a/build-aux/.gitignore b/build-aux/.gitignore
index 5a3003390b..78cb021148 100644
--- a/build-aux/.gitignore
+++ b/build-aux/.gitignore
@@ -1,9 +1,6 @@
-/arg-nonnull.h
-/c++defs.h
 /config.libpath
 /config.rpath
 /gitlog-to-changelog
 /install-reloc
+/libtool-reloc
 /reloc-ldflags
-/unused-parameter.h
-/warn-on-use.h