From 82a94d0f883399ae7910ba03ae9b1b1bb87459c4 Mon Sep 17 00:00:00 2001
From: Jan Jongboom <janjongboom@gmail.com>
Date: Wed, 30 Aug 2017 13:08:01 +0200
Subject: [PATCH] target: mbedos5: Update to mbed OS 5.5.5 (#1982)

Switches fatal implementation to JerryScript default, updates to latest stable version of mbed OS. Tested on K64F.

JerryScript-DCO-1.0-Signed-off-by: Jan Jongboom janjongboom@gmail.com
---
 targets/mbedos5/mbed-os.lib              | 2 +-
 targets/mbedos5/source/jerry_port_mbed.c | 9 ---------
 targets/mbedos5/template-mbedignore.txt  | 1 -
 3 files changed, 1 insertion(+), 11 deletions(-)

diff --git a/targets/mbedos5/mbed-os.lib b/targets/mbedos5/mbed-os.lib
index 3a2efff6b..f827c355f 100644
--- a/targets/mbedos5/mbed-os.lib
+++ b/targets/mbedos5/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#8d21974ba35e04c4854e5090c0f8283171664175
+https://github.com/ARMmbed/mbed-os/#db4be94693c3a873cfa0c025a5ad2e62b86a8474
diff --git a/targets/mbedos5/source/jerry_port_mbed.c b/targets/mbedos5/source/jerry_port_mbed.c
index adaca5d2f..3e225b013 100644
--- a/targets/mbedos5/source/jerry_port_mbed.c
+++ b/targets/mbedos5/source/jerry_port_mbed.c
@@ -45,15 +45,6 @@ jerry_port_log (jerry_log_level_t level, /**< log level */
 } /* jerry_port_log */
 #endif /* JSMBED_OVERRIDE_JERRY_PORT_LOG */
 
-/**
- * Implementation of jerry_port_fatal.
- */
-void
-jerry_port_fatal (jerry_fatal_code_t code) /**< fatal code enum item */
-{
-  exit (code);
-} /* jerry_port_fatal */
-
 /**
  * Implementation of jerry_port_get_time_zone.
  *
diff --git a/targets/mbedos5/template-mbedignore.txt b/targets/mbedos5/template-mbedignore.txt
index d60ed0996..73e0f64db 100644
--- a/targets/mbedos5/template-mbedignore.txt
+++ b/targets/mbedos5/template-mbedignore.txt
@@ -3,7 +3,6 @@ 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/*