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 :