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

diff --git a/lib/automake.mk b/lib/automake.mk
index c617b19c51b3150e8685c4341597f11ac5e6b956..d5a7a7cc9c55e281e42c3fcfbc4eb461f92dcbf3 100644 (file)
--- 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)