X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fsnippet%2F.gitignore;fp=build-aux%2Fsnippet%2F.gitignore;h=88b6db4b8820ec2f70069c923ded4ab8ec7e6bac;hb=929c4c1db21356da304f3ec2602651d5e322648c;hp=0000000000000000000000000000000000000000;hpb=6f31c832ed660a06dc1374dd0618d2bcd8d35104;p=pspp

diff --git a/build-aux/snippet/.gitignore b/build-aux/snippet/.gitignore
new file mode 100644
index 0000000000..88b6db4b88
--- /dev/null
+++ b/build-aux/snippet/.gitignore
@@ -0,0 +1,5 @@
+_Noreturn.h
+arg-nonnull.h
+c++defs.h
+unused-parameter.h
+warn-on-use.h