From: Ben Pfaff <blp@nicira.com>
Date: Wed, 17 Sep 2008 17:50:27 +0000 (-0700)
Subject: Put "+ext" in the distribution filename if OpenFlow extensions are included.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b9bb68d935aa0206952853c75dc74268324d3f3f;p=openvswitch

Put "+ext" in the distribution filename if OpenFlow extensions are included.
---

diff --git a/Makefile.am b/Makefile.am
index 96f2145d..782ce711 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -13,6 +13,7 @@ SUBDIRS = \
 	debian
 if HAVE_EXT
 SUBDIRS += ext
+distdir = $(PACKAGE)+ext-$(VERSION)
 endif
 
 DIST_SUBDIRS = $(SUBDIRS)