X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=c23b670a5f1687bb6012117c22a86c07ce9cea05;hb=65d9d5f8b8fd548f411c512e946cf2408182a1d4;hp=f8dfd16c1c4aa968777c5e1da9329d0e727aaf81;hpb=a0bc29a541fc7dc6e20137d5558e2094d614e6ab;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index f8dfd16c..c23b670a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -29,6 +29,7 @@ BUILT_SOURCES =
 CLEANFILES =
 DISTCLEANFILES =
 EXTRA_DIST = INSTALL.bridge \
+	INSTALL.KVM \
 	INSTALL.Linux \
 	INSTALL.userspace \
 	INSTALL.OpenFlow \
@@ -69,6 +70,7 @@ SUFFIXES += .in
                 -e 's,[@]pkgdatadir[@],$(pkgdatadir),g' \
                 -e 's,[@]sysconfdir[@],$(sysconfdir),g' \
                 -e 's,[@]abs_top_srcdir[@],$(abs_top_srcdir),g' \
+                -e 's,[@]ovsdbmonitordir[@],$(ovsdbmonitordir),g' \
             > $@.tmp
 	@if head -n 1 $@.tmp | grep -q '#!'; then \
 	    echo chmod +x $@.tmp; \