Fix ESP8266 build

This change is to fix build for ESP8266 board with jerry_api_value_t changes.

JerryScript-DCO-1.0-Signed-off-by: SaeHie Park saehie.park@samsung.com

targets/esp8266/user/jerry_port.c

@@ -1,4 +1,4 @@
-/* Copyright 2014-2015 Samsung Electronics Co., Ltd.
+/* Copyright 2014-2016 Samsung Electronics Co., Ltd.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -46,11 +46,45 @@ int jerry_port_errormsg (const char* format, ...)
   return count;
 }
 
+
+/** exit - cause normal process termination  */
 void exit (int status)
 {
-  printf ("!!!! EXIT: %d\n", status);
   while (true)
   {
-    ;
   }
 } /* exit */
+
+/** abort - cause abnormal process termination  */
+void abort (void)
+{
+  while (true)
+  {
+  }
+} /* abort */
+
+/**
+ * fwrite
+ *
+ * @return number of bytes written
+ */
+size_t
+fwrite (const void *ptr, /**< data to write */
+        size_t size, /**< size of elements to write */
+        size_t nmemb, /**< number of elements */
+        FILE *stream) /**< stream pointer */
+{
+  return size * nmemb;
+} /* fwrite */
+
+/**
+ * This function can get the time as well as a timezone.
+ *
+ * @return 0 if success, -1 otherwise
+ */
+int
+gettimeofday (void *tp,  /**< struct timeval */
+              void *tzp) /**< struct timezone */
+{
+  return -1;
+} /* gettimeofday */

targets/esp8266/user/user_main.c

@@ -98,7 +98,6 @@ void jerry_task(void *pvParameters) {
  */
 void ICACHE_FLASH_ATTR user_init(void)
 {
-  const portTickType onesec = 1000 / portTICK_RATE_MS;
   uart_div_modify(UART0, UART_CLK_FREQ / (BIT_RATE_115200));
 
   show_free_mem(0);