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

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