Add jerry_port_abort API

JerryScript-DCO-1.0-Signed-off-by: François Baldassari francois@pebble.com

Author: François Baldassari

jerry-core/jerry-port.c

@@ -52,3 +52,11 @@ int jerry_port_putchar (int c) /**< character to put */
 {
   return putchar ((unsigned char) c);
 } /* jerry_port_putchar */
+
+/**
+ * Provide abort implementation for the engine
+ */
+void jerry_port_abort (void)
+{
+  abort ();
+} /* jerry_port_abort */

jerry-core/jerry-port.h

@@ -35,6 +35,8 @@ int jerry_port_logmsg (FILE *stream, const char *format, ...);
 int jerry_port_errormsg (const char *format, ...);
 int jerry_port_putchar (int c);
 
+void jerry_port_abort (void);
+
 /**
  * @}
  */

jerry-core/jrt/jrt-fatals.c

@@ -69,7 +69,7 @@ jerry_fatal (jerry_fatal_code_t code) /**< status code */
       && code != ERR_OUT_OF_MEMORY
       && jerry_is_abort_on_fail ())
   {
-    abort ();
+    jerry_port_abort ();
   }
   else
   {