X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fautomake.mk;h=37d669bb3b01168f4612e95e9d73f74cf054e1ab;hb=169e3808f7c510a048589d8e658336919079a6a0;hp=7d578a8c8c1576ed54bd25b5555d4dbbea1f4427;hpb=a0bc29a541fc7dc6e20137d5558e2094d614e6ab;p=openvswitch

diff --git a/ovsdb/automake.mk b/ovsdb/automake.mk
index 7d578a8c..37d669bb 100644
--- a/ovsdb/automake.mk
+++ b/ovsdb/automake.mk
@@ -60,6 +60,8 @@ EXTRA_DIST += ovsdb/ovsdb-server.1.in
 
 # ovsdb-idlc
 EXTRA_DIST += \
+	ovsdb/OVSDB.py \
+	ovsdb/SPECS \
 	ovsdb/simplejson/__init__.py \
 	ovsdb/simplejson/_speedups.c				\
 	ovsdb/simplejson/decoder.py				\
@@ -114,3 +116,5 @@ EXTRA_DIST += ovsdb/ovsdb-doc.in
 noinst_SCRIPTS += ovsdb/ovsdb-doc
 DISTCLEANFILES += ovsdb/ovsdb-doc
 OVSDB_DOC = $(PYTHON) $(srcdir)/ovsdb/ovsdb-doc.in
+
+include ovsdb/ovsdbmonitor/automake.mk