X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=fa7b5ea2d618a6be00914685cb2eb55803a47cd3;hb=5953c70e61897996e8b05fadea988b3289e133de;hp=c902e41d899384c51fd35e4f0a4c04bf6b2eedae;hpb=bc34d06037d11c106a1fb3df3940ee4231e5a246;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index c902e41d..fa7b5ea2 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -60,6 +60,12 @@ noinst_SCRIPTS =
 OVSIDL_BUILT =
 SUFFIXES =
 
+# This ensures that files added to EXTRA_DIST are always distributed,
+# even if they are inside an Automake if...endif conditional block that is
+# disabled by some particular "configure" run.  For more information, see:
+# http://article.gmane.org/gmane.comp.sysutils.automake.general/10891
+noinst_HEADERS += $(EXTRA_DIST)
+
 EXTRA_DIST += \
 	build-aux/update-debian-changelog \
 	soexpand.pl