X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=d5a7a7cc9c55e281e42c3fcfbc4eb461f92dcbf3;hb=d06fd603791c1cc3775558d78f735c6a66fa0bbc;hp=c617b19c51b3150e8685c4341597f11ac5e6b956;hpb=424d1282e138126ebb3f8efe805f2ec9702f7fa0;p=openvswitch

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)