X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2F.gitignore;h=6cbaf30465656c7da9e6aa58c3ad7fb778e847ff;hb=6d4605fd85630eb3a9ec743763114f286373a544;hp=d56deecbed64a3dec4da391e9d1aa243ec857666;hpb=5f55c39b21e69025045437ffbd3bb98fe6ce2e89;p=openvswitch

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