Fix little-endian MIPS definition

tautschnig · tautschnig · commit 32c8dee33179 · 2023-08-11T07:49:42.000Z
GCC pre-defines _MIPSEL, not __mipsel__.
diff --git a/src/util/config.cpp b/src/util/config.cpp
@@ -1364,7 +1364,7 @@ irep_idt configt::this_architecture()
     #else
     this_arch = "arm";
     #endif
-  #elif defined(__mipsel__)
+  #elif defined(_MIPSEL)
     #if _MIPS_SIM==_ABIO32
     this_arch = "mipsel";
     #elif _MIPS_SIM==_ABIN32
