diff options
Diffstat (limited to 'scripts/Configure')
| -rw-r--r-- | scripts/Configure | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/scripts/Configure b/scripts/Configure index 1e8bc91f471f..52a50b7b5fff 100644 --- a/scripts/Configure +++ b/scripts/Configure @@ -415,25 +415,15 @@ function define_int () { # # int processes an integer argument with optional limits # -# int question define default [min max] +# int question define default # function int () { old=$(eval echo "\${$2}") def=${old:-$3} - if [ $# -gt 3 ]; then - min=$4 - else - min=-10000000 # !! - fi - if [ $# -gt 4 ]; then - max=$5 - else - max=10000000 # !! - fi rndval $2 while :; do readln "$1 ($2) [$def] " "$def" "$old" - if expr \( \( $ans + 0 \) \>= $min \) \& \( $ans \<= $max \) >/dev/null 2>&1 ; then + if expr "$ans" : '[0-9]*$' > /dev/null; then define_int "$2" "$ans" break else |