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"