Update to Mbed OS 5.12

ARMmbed · Mar 11, 2019 · 8fdb6cb · 8fdb6cb
1 parent 6c99e31
commit 8fdb6cb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/mbed-js-repl.lib b/mbed-js-repl.lib
@@ -1 +1 @@
-https://github.com/janjongboom/mbed-js-repl/#3bb04531f83765ca6d115858d8a078d6ec1449df
+https://github.com/janjongboom/mbed-js-repl/#28b996d9c902223fbae4d0e67f2749c8d8117293
diff --git a/mbed-js/mbed_lib.json b/mbed-js/mbed_lib.json
@@ -12,5 +12,5 @@
             "target.uart_hwfc": 0
         }
     },
-    "macros": ["JERRY_JS_PARSER 1"]
+    "macros": ["JERRY_JS_PARSER=1"]
 }
diff --git a/mbed-os.lib b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#5f6572179d66ce4c09d6517b659ac51133cc980d
+https://github.com/ARMmbed/mbed-os/#7dd791e2f992d872b2dab4a7f061d05f7283090a
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		https://github.com/janjongboom/mbed-js-repl/#3bb04531f83765ca6d115858d8a078d6ec1449df
		https://github.com/janjongboom/mbed-js-repl/#28b996d9c902223fbae4d0e67f2749c8d8117293
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		https://github.com/ARMmbed/mbed-os/#5f6572179d66ce4c09d6517b659ac51133cc980d
		https://github.com/ARMmbed/mbed-os/#7dd791e2f992d872b2dab4a7f061d05f7283090a