X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=6554b44a0bcb509c5a4b85bc49cd84add79c2fbf;hb=fb0d597fb64308c60001e3afc9b31eb295dedb6b;hp=51d3c11bff8b7576c372fa165d63f35dc4ee68c7;hpb=2ad2eb042517b975d761d456cceb5c9325c4aaa7;p=openvswitch

diff --git a/lib/automake.mk b/lib/automake.mk
index 51d3c11b..6554b44a 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -63,6 +63,7 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/lockfile.h \
 	lib/mac-learning.c \
 	lib/mac-learning.h \
+	lib/netdev-gre.c \
 	lib/netdev-linux.c \
 	lib/netdev-provider.h \
 	lib/netdev.c \
@@ -205,6 +206,8 @@ EXTRA_DIST += \
 	lib/ssl-peer-ca-cert.man \
 	lib/ssl.man \
 	lib/ssl-syn.man \
+	lib/unixctl.man \
+	lib/unixctl-syn.man \
 	lib/vconn-active.man \
 	lib/vconn-passive.man \
 	lib/vlog-unixctl.man \