mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
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
This commit is contained in:
parent
708b155f38
commit
a8a25e7f3c
@ -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
|
||||
|
||||
@ -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/*
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user