diff options
| -rwxr-xr-x | tools/configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index dee6bbf..6dd5998 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 |