diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -207,7 +207,7 @@ case $reals_opt in case $reals_ans in "N"|"n"|"No"|"NO"|"no") reals=basic;; - *) true;; + *) reals=all;; esac;; yes) true;; esac |