X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=b727fed6a8577923e68880d3c5f09bd5fc8103ea;hb=70e4e586e4aff1e369cacd721e874d9731253130;hp=9bc6268f2d5dbc8fbc3c4e5bc760fd69ea85609a;hpb=d41d4b714d29091dd502dd8705ef489467e11a43;p=openvswitch

diff --git a/lib/automake.mk b/lib/automake.mk
index 9bc6268f..b727fed6 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -199,7 +199,9 @@ lib_libopenvswitch_a_SOURCES = \
 	lib/vlog.c \
 	lib/vlog.h \
 	lib/vswitch-idl.c \
-	lib/vswitch-idl.h
+	lib/vswitch-idl.h \
+	lib/worker.c \
+	lib/worker.h
 
 nodist_lib_libopenvswitch_a_SOURCES = \
 	lib/dirs.c