X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=702cc6ca190d0c42b9ba4ad7623485dd47fff8c2;hb=refs%2Fheads%2Fmanual;hp=851c391bc1eee0377f4b56f3a9d7042e8ebafbf3;hpb=a7844aaf5ebccf1a8762f68bcbb62e463fc3809b;p=openvswitch

diff --git a/.gitignore b/.gitignore
index 851c391b..702cc6ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,9 +11,11 @@
 *.pyc
 *.so
 *~
+*,cover
 .#*
 .*.cmd
 .*.swp
+.coverage
 .deps
 .dirstamp
 .libs