diff options
Diffstat (limited to 'gas/configure')
| -rwxr-xr-x | gas/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gas/configure b/gas/configure index cd9e5a4c5c..382f8d3522 100755 --- a/gas/configure +++ b/gas/configure @@ -12060,6 +12060,9 @@ _ACEOF mips64* | mipsisa64* | mipsisa32*) mips_cpu=`echo $target_cpu | sed -e 's/[a-z]*..//' -e 's/el$//'` ;; + mips*) + mips_cpu=`echo $target_cpu | sed -e 's/^mips//' -e 's/el$//'` + ;; *) as_fn_error "$target_cpu isn't a supported MIPS CPU name" "$LINENO" 5 ;; |