From 9c013310aba77add0cb2a45ed4bec3d3b0918ced Mon Sep 17 00:00:00 2001 From: Marko Fabo Date: Fri, 10 Nov 2017 12:58:53 +0100 Subject: [PATCH] Include missing header file in mbed/mbedos5. (#2083) JerryScript-DCO-1.0-Signed-off-by: Marko Fabo mfabo@inf.u-szeged.hu --- targets/mbed/source/main.cpp | 1 + .../jerryscript-mbed-launcher/source/launcher.cpp | 1 + 2 files changed, 2 insertions(+) diff --git a/targets/mbed/source/main.cpp b/targets/mbed/source/main.cpp index 21f0d0d47..a3940f23d 100644 --- a/targets/mbed/source/main.cpp +++ b/targets/mbed/source/main.cpp @@ -16,6 +16,7 @@ #include "mbed-drivers/mbed.h" #include "jerry-core/include/jerryscript.h" +#include "jerry-core/include/jerryscript-port.h" #include "jerry_run.h" #include "jerry-targetjs.h" diff --git a/targets/mbedos5/jerryscript-mbed/jerryscript-mbed-launcher/source/launcher.cpp b/targets/mbedos5/jerryscript-mbed/jerryscript-mbed-launcher/source/launcher.cpp index 51b55b547..7379faba9 100644 --- a/targets/mbedos5/jerryscript-mbed/jerryscript-mbed-launcher/source/launcher.cpp +++ b/targets/mbedos5/jerryscript-mbed/jerryscript-mbed-launcher/source/launcher.cpp @@ -16,6 +16,7 @@ #include "rtos.h" #include "jerry-core/include/jerryscript.h" +#include "jerry-core/include/jerryscript-port.h" #include "jerryscript-mbed-event-loop/EventLoop.h"