1 files changed, 3 insertions, 1 deletions

diff --git a/tools/configure b/tools/configure
index dee6bbfe09..6dd5998be6 100755
--- a/tools/configure
+++ b/tools/configure
@@ -450,7 +450,9 @@ whichadvanced () {
         fi
         ;;
     esac
-    if [ ! "$interact" ]; then
+    if [ "$interact" ]; then
+      btype="$btype$option"
+    else
       atype=`echo "$atype" | cut -c 2-`
       [ "$atype" ] || cont=0
     fi