From a8a25e7f3c87189b823072a2cfad7964c73ac563 Mon Sep 17 00:00:00 2001 From: fbmrk Date: Tue, 30 May 2017 08:58:03 +0200 Subject: [PATCH] Update mbedos5 make (#1847) Fix make clean and ignore jerry-port-default JerryScript-DCO-1.0-Signed-off-by: Marko Fabo mfabo@inf.u-szeged.hu --- targets/mbedos5/Makefile | 2 +- targets/mbedos5/template-mbedignore.txt | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) 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/*