X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=406b4240b842f32135340a42703d707c983a09c6;hb=6bf4c631ae776f4e936b5f01efe4bfbe190f5d99;hp=7e70822af9eba6e0e3d41c0f051567f0af18f5d9;hpb=dd18a8a4e6a40cfc575248b86a47ce4071915040;p=openvswitch

diff --git a/lib/automake.mk b/lib/automake.mk
index 7e70822a..406b4240 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -101,6 +101,8 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/random.h \
 	lib/rconn.c \
 	lib/rconn.h \
+	lib/reconnect.c \
+	lib/reconnect.h \
 	lib/rtnetlink.c \
 	lib/rtnetlink.h \
 	lib/sat-math.h \
@@ -184,10 +186,13 @@ EXTRA_DIST += \
 
 EXTRA_DIST += \
 	lib/common.man \
+	lib/common-syn.man \
 	lib/daemon.man \
+	lib/daemon-syn.man \
 	lib/dpif.man \
 	lib/leak-checker.man \
 	lib/vlog-unixctl.man \
+	lib/vlog-syn.man \
 	lib/vlog.man