Update Mbed OS target to 5.15.4 (#4035)

JerryScript-DCO-1.0-Signed-off-by: Mátyás Mustoha matyas.mustoha@h-lab.eu
2020-07-23 13:35:54 +02:00
parent d92d9db40f
commit fdb5d893bf
3 changed files with 3 additions and 4 deletions
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#51d55508e8400b60af467005646c4e2164738d48
+https://github.com/ARMmbed/mbed-os/#e4b81f67f939a0c0b11c147ce74aa367271e1279
@@ -157,7 +157,7 @@ unsigned int jsmbed_js_magic_string_lengths[] = {

    magic_values = ',\n    '.join(pins)
    magic_source = '''
-unsigned int jsmbed_js_magic_string_values[] = {
+int jsmbed_js_magic_string_values[] = {
    %s
 };
    ''' % magic_values
@@ -1,3 +1,2 @@
-pycparser
-simpleeval
 pycparserext
+simpleeval