From 26712ef060fbf353c85398b16172023d91d3d60d Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 30 Nov 2018 06:57:05 -0600
Subject: [PATCH] arch/mips/src/mips32/Kconfig:  Allow Penguino for windows for
 the Windows Ubuntu platform as well.

---
 arch/mips/src/mips32/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/mips/src/mips32/Kconfig b/arch/mips/src/mips32/Kconfig
index c925210760..b4d0de7927 100644
--- a/arch/mips/src/mips32/Kconfig
+++ b/arch/mips/src/mips32/Kconfig
@@ -55,7 +55,7 @@ config MIPS32_TOOLCHAIN_MICROCHIPOPENL
 
 config MIPS32_TOOLCHAIN_PINGUINOW
 	bool "Pinguino mips-elf toolchain under Windows"
-	depends on TOOLCHAIN_WINDOWS
+	depends on TOOLCHAIN_WINDOWS || WINDOWS_UBUNTU
 	select ARCH_TOOLCHAIN_GNU
 
 config MIPS32_TOOLCHAIN_PINGUINOL