From: Ben Pfaff <blp@nicira.com>
Date: Mon, 15 Sep 2008 23:32:02 +0000 (-0700)
Subject: Ignore some more generated files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=480bc9dae6eba1b0bfb9943b6a173c1f42a52b0a;hp=c705304441cf5c631b5cdc8911c9d74b7113a366;p=openvswitch

Ignore some more generated files.
---

diff --git a/tests/.gitignore b/tests/.gitignore
index 5fe2616e..3e44d9e7 100644
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -2,3 +2,5 @@
 /Makefile.in
 /test-list
 /test-dhcp-client
+/test-stp
+/test-type-props