diff --git a/targets/mbedos5/Makefile b/targets/mbedos5/Makefile index 9ac853724..341e2068e 100644 --- a/targets/mbedos5/Makefile +++ b/targets/mbedos5/Makefile @@ -63,7 +63,7 @@ library: .mbed ../../.mbedignore mbed compile $(MBED_CLI_FLAGS) --library clean: - rm -rf .build/$(BOARD) + rm -rf ./BUILD/$(BOARD) js2c: js/main.js js/flash_leds.js python ../../tools/js2c.py --ignore pins.js diff --git a/targets/mbedos5/template-mbedignore.txt b/targets/mbedos5/template-mbedignore.txt index 97a2f04ad..d60ed0996 100644 --- a/targets/mbedos5/template-mbedignore.txt +++ b/targets/mbedos5/template-mbedignore.txt @@ -2,6 +2,9 @@ cmake/* docs/* jerry-libc/* jerry-main/* +jerry-port/default/default-date.c +jerry-port/default/default-fatal.c +jerry-port/default/default-io.c targets/* tests/* third-party/*