mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
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