target: mbedos5: Update to mbed OS 5.4.5 (#1853)

Also ignore the default jerry-port - see also #1847. Re-implement the `print()` function, as it's no longer part of core Jerry, but our programs still depend on it. JerryScript-DCO-1.0-Signed-off-by: Jan Jongboom janjongboom@gmail.com
2017-05-30 09:09:09 +02:00
parent a8a25e7f3c
commit 37ed82437b
7 changed files with 67 additions and 4 deletions
@@ -19,9 +19,9 @@
 BOARD=$(subst [mbed] ,,$(shell mbed target))
 HEAPSIZE=16

-DEBUG=0
-NO_JS=0
-MBED_VERBOSE=0
+DEBUG?=0
+NO_JS?=0
+MBED_VERBOSE?=0

 MBED_CLI_FLAGS=-j0 --source . --source ../../