X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=blobdiff_plain;f=.gitignore;h=b50c6a377a2ab182f2ebaddd06e8abfc12ac5ca3;hp=34a109ebd7340706b3eb4e9331430d8f178d8ec2;hb=4eec17311c5d0e9db3853e1550b6c8c8d0829c2c;hpb=d030506bfdce24f229ada8b5610d341a2a80e866

diff --git a/.gitignore b/.gitignore
index 34a109eb..b50c6a37 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,3 +38,5 @@ gitlog-to-changelog
 *.a
 *.dirstamp
 *.deps
+*.la
+*.libs