On 19/06/2024 15.34, Paolo Bonzini wrote:
On Wed, Jun 19, 2024 at 2:49 PM Thomas Huth <th...@redhat.com> wrote:
On 19/06/2024 13.46, Paolo Bonzini wrote:
Treat it as a MIPS64 machine.
...
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*) ?
Not sure if it's a good idea, since we know the exact prefixes.
Fair point.
Reviewed-by: Thomas Huth <th...@redhat.com>
