From: Ben Pfaff <blp@nicira.com>
Date: Fri, 19 Sep 2008 21:57:19 +0000 (-0700)
Subject: Fix boot.sh for the case where the extensions repository is not available.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=63791ba081d1f9594989574b08437acd28ff85de;p=openvswitch

Fix boot.sh for the case where the extensions repository is not available.

Reported by Justin.
---

diff --git a/Makefile.am b/Makefile.am
index 53c65fef..658070b3 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -14,7 +14,7 @@ SUBDIRS = \
 	third-party \
 	debian
 if HAVE_EXT
-SUBDIRS += ext
+SUBDIRS += $(EXT)
 distdir = $(PACKAGE)+ext-$(VERSION)
 endif
 
diff --git a/acinclude.m4 b/acinclude.m4
index 8b80249d..0c016a8d 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -134,6 +134,7 @@ AC_DEFUN([OFP_ENABLE_EXT],
      AC_CONFIG_SUBDIRS([ext])
      AC_DEFINE([HAVE_EXT], [1], 
                [Whether the OpenFlow extensions submodule is available])
+     AC_SUBST([EXT], [ext])
    fi
    AC_SUBST([ofp_top_srcdir], ['$(top_srcdir)'])
    AM_CONDITIONAL([HAVE_EXT], [test $HAVE_EXT = yes])])