X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=c24b805ae8a18a367325e18fd5268672480a848c;hb=93268947fc32952b71f386e3dd1d3d1c6152203f;hp=c29aff49c289ab840d09237d12b2b4002885adf8;hpb=7d3713dd11dc0f4c5ce9c62ea512cdea38b4e80d;p=pspp

diff --git a/.gitignore b/.gitignore
index c29aff49c2..c24b805ae8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,5 +30,15 @@ potfiles.tmp
 pref.h
 reloc-ldflags
 stamp-h1
-texinfo.tex
 gitlog-to-changelog
+*~
+*.o
+*.lo
+*.a
+*.dirstamp
+*.deps
+*.la
+*.libs
+/arg-nonnull.h
+/package.m4
+/unused-parameter.h