From: Ben Pfaff <blp@nicira.com>
Date: Tue, 9 Jun 2009 22:19:24 +0000 (-0700)
Subject: Fix another "make" versus "make dist" build problem.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d06fd603791c1cc3775558d78f735c6a66fa0bbc;p=openvswitch

Fix another "make" versus "make dist" build problem.
---

diff --git a/lib/automake.mk b/lib/automake.mk
index c617b19c..d5a7a7cc 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -14,7 +14,6 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/compiler.h \
 	lib/coverage.c \
 	lib/coverage.h \
-	lib/coverage-counters.c \
 	lib/coverage-counters.h \
 	lib/csum.c \
 	lib/csum.h \
@@ -105,6 +104,7 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/vlog.h \
 	lib/xtoxll.h
 nodist_lib_libopenvswitch_a_SOURCES = \
+	lib/coverage-counters.c \
 	lib/dirs.c
 CLEANFILES += $(nodist_lib_libopenvswitch_a_SOURCES)