diff options
-rwxr-xr-x | fixup_ptxconfigs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fixup_ptxconfigs.sh b/fixup_ptxconfigs.sh index 4845693..5b7f46d 100755 --- a/fixup_ptxconfigs.sh +++ b/fixup_ptxconfigs.sh @@ -101,7 +101,7 @@ fixup() PTXCONF_GLIBC_HEADERS_FAKE_CROSS="-D__ARM_EABI__" ;; mips*) - PTXCONF_GLIBC_HEADERS_FAKE_CROSS="-DBOOTSTRAP_GCC" + PTXCONF_GLIBC_HEADERS_FAKE_CROSS="-DBOOTSTRAP_GCC -D_MIPS_SIM=_ABIO32" ;; *) ;; |