aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorShakeel Butt <shakeel.butt@gmail.com>2013-02-15 13:32:09 +0000
committerShakeel Butt <shakeel.butt@gmail.com>2013-02-15 13:32:09 +0000
commit0943842a89d497d7ce406d364448abbb6519c635 (patch)
tree3abf008587cdfb94710a2614234410e19770dd99 /configure
parent4308933102ae03cdc7782d8e8ed34fe455d7372d (diff)
downloadxen-0943842a89d497d7ce406d364448abbb6519c635.tar.gz
xen-0943842a89d497d7ce406d364448abbb6519c635.tar.bz2
xen-0943842a89d497d7ce406d364448abbb6519c635.zip
configure: configure a subsystem when explicitly requested.
Executing "./configure --enable-stubdom" doesn't call stubdom/configure, fix this. Signed-off-by: Shakeel Butt <shakeel.butt@gmail.com> Acked-by: Ian Campbell <ian.campbell@citrix.com> Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure
index 69803a7907..06c0e99382 100755
--- a/configure
+++ b/configure
@@ -2000,6 +2000,9 @@ stubdom=n
fi
+fi
+
+
if test -e "stubdom/configure"; then :
if test "x$stubdom" = "xy" || test "x$stubdom" = "x" ; then
@@ -2011,9 +2014,6 @@ fi
-fi
-
-
# Check whether --enable-docs was given.
if test "${enable_docs+set}" = set; then :