diff options
Diffstat (limited to 'gcc/config.gcc')
| -rw-r--r-- | gcc/config.gcc | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gcc/config.gcc b/gcc/config.gcc index 4f955a0..3c5b845 100644 --- a/gcc/config.gcc +++ b/gcc/config.gcc @@ -2425,7 +2425,7 @@ fi ;; mips*-*-*) - supported_defaults="abi arch float tune" + supported_defaults="abi arch float tune divide" case ${with_float} in "" | soft | hard) @@ -2446,6 +2446,15 @@ fi exit 1 ;; esac + + case ${with_divide} in + "" | breaks | traps) + # OK + ;; + *) + echo "Unknown division check type use in --with-divide=$with_divide" 1>&2 + exit 1 + esac ;; powerpc*-*-* | rs6000-*-*) @@ -2687,7 +2696,7 @@ fi esac t= - all_defaults="abi cpu arch tune schedule float mode fpu" + all_defaults="abi cpu arch tune schedule float mode fpu divide" for option in $all_defaults do eval "val=\$with_$option" |