From 177c30de784bca0cea9e3879093c672c7a921cb1 Mon Sep 17 00:00:00 2001
From: Jan Jongboom <janjongboom@gmail.com>
Date: Fri, 13 Jan 2017 02:57:38 -0600
Subject: [PATCH] target: mbedos5: Support for building on Windows (#1522)

This patch allows users to build for the mbedos5 target on Windows (normal
Windows and Cygwin). Also needs
https://github.com/ARMmbed/mbed-js-gulp/pull/14.

JerryScript-DCO-1.0-Signed-off-by: Jan Jongboom janjongboom@gmail.com
---
 targets/mbedos5/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/targets/mbedos5/Makefile b/targets/mbedos5/Makefile
index 30eff3842..4e0b5d67a 100644
--- a/targets/mbedos5/Makefile
+++ b/targets/mbedos5/Makefile
@@ -87,4 +87,8 @@ getlibs: .mbed
 	mbed deploy
 
 ../../.mbedignore:
+ifeq ($(OS),Windows_NT)
+	copy template-mbedignore.txt ..\..\.mbedignore
+else
 	cp ./template-mbedignore.txt ../../.mbedignore
+endif