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

diff --git a/lib/.gitignore b/lib/.gitignore
index d56deecb..c5b6cac9 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -3,3 +3,4 @@
 /dhparams.c
 /dirs.c
 /coverage-counters.c
+/ofp-errors.c