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

diff --git a/build-aux/.gitignore b/build-aux/.gitignore
new file mode 100644
index 0000000000..5a3003390b
--- /dev/null
+++ b/build-aux/.gitignore
@@ -0,0 +1,9 @@
+/arg-nonnull.h
+/c++defs.h
+/config.libpath
+/config.rpath
+/gitlog-to-changelog
+/install-reloc
+/reloc-ldflags
+/unused-parameter.h
+/warn-on-use.h