Re: [PATCH] configure: detect --cpu=mipsisa64r6

[Thomas Huth]

On 19/06/2024 13.46, Paolo Bonzini wrote:

Treat it as a MIPS64 machine.

Where did you encounter it?

Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
---
  configure | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index d0703ea279d..3669eec86e5 100755
--- a/configure
+++ b/configure
@@ -452,7 +452,7 @@ case "$cpu" in
      linux_arch=loongarch
      ;;

- mips64*)

+  mips64*|mipsisa64*)

Maybe simply switch to mips*64*) ?

      cpu=mips64
      host_arch=mips
      linux_arch=mips

 Thomas