X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2F.gitignore;h=c5b6cac944b89302eefb32bcb9df8f724b0480e4;hb=e868fb3d322f5c46385f1fc6db5bb1ab33f90305;hp=6a3f65ce14e6cdd3d34a7c34cded1d4f207abcca;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/lib/.gitignore b/lib/.gitignore
index 6a3f65ce..c5b6cac9 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -1,4 +1,6 @@
 /Makefile
 /Makefile.in
 /dhparams.c
+/dirs.c
 /coverage-counters.c
+/ofp-errors.c