From c5b3e3e7aa053005d302ba41d68f2f70ef15cfb5 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sat, 21 Feb 2015 19:41:26 -0600
Subject: [PATCH] Current Pinguino toolchain uses prefix p32 instead of mips

---
 arch/mips/src/mips32/Toolchain.defs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/mips/src/mips32/Toolchain.defs b/arch/mips/src/mips32/Toolchain.defs
index 4f031f3e0e4..8509b5deecd 100644
--- a/arch/mips/src/mips32/Toolchain.defs
+++ b/arch/mips/src/mips32/Toolchain.defs
@@ -183,7 +183,8 @@ endif
 # Pinguino mips-elf toolchain under Windows
 
 ifeq ($(CONFIG_MIPS32_TOOLCHAIN),PINGUINOW)
-  CROSSDEV ?= mips-
+  #CROSSDEV ?= mips-
+  CROSSDEV ?= p32-
   ifneq ($(CONFIG_WINDOWS_NATIVE),y)
     WINTOOL = y
   endif