Merge 0211a952eacc82c77c79da2149921998e022cf4e into 1e0873aa71849de9ffc6814b620dbbf920ffa9f8

This commit is contained in:
dervomsee 2025-02-19 18:29:14 +01:00 committed by GitHub
commit f49f5be854
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -254,6 +254,9 @@ set_cpu() {
cpu="${cpu}_softfloat"
;;
'riscv64')
cpu='riscv64'
;;
*)
error_exit "unsupported cpu type: $cpu"
;;
@ -262,7 +265,7 @@ set_cpu() {
# Validate.
case "$cpu" in
'amd64' | '386' | 'armv5' | 'armv6' | 'armv7' | 'arm64')
'amd64' | '386' | 'armv5' | 'armv6' | 'armv7' | 'arm64' | 'riscv64')
# All right, go on.
;;
'mips64le_softfloat' | 'mips64_softfloat' | 'mipsle_softfloat' | 'mips_softfloat')