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

diff --git a/ovsdb/automake.mk b/ovsdb/automake.mk
index 055e47bb..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				\