diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 4 |
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 () { | |||
450 | fi | 450 | fi |
451 | ;; | 451 | ;; |
452 | esac | 452 | esac |
453 | if [ ! "$interact" ]; then | 453 | if [ "$interact" ]; then |
454 | btype="$btype$option" | ||
455 | else | ||
454 | atype=`echo "$atype" | cut -c 2-` | 456 | atype=`echo "$atype" | cut -c 2-` |
455 | [ "$atype" ] || cont=0 | 457 | [ "$atype" ] || cont=0 |
456 | fi | 458 | fi |