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

diff --git a/lib/automake.mk b/lib/automake.mk
index e5a06487..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 \
@@ -88,7 +89,6 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/packets.h \
 	lib/pcap.c \
 	lib/pcap.h \
-	lib/pcre.h \
 	lib/poll-loop.c \
 	lib/poll-loop.h \
 	lib/port-array.c \
@@ -206,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 \