Update the webpage (#3183)

JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
2019-10-01 20:06:28 +02:00
parent 93509a57e3
commit 09af6e670e
7 changed files with 99 additions and 31 deletions
@@ -320,8 +320,10 @@ wait_for_source_callback (const jerry_char_t *resource_name_p, /**< resource nam
                          size_t resource_name_size, /**< size of resource name */
                          const jerry_char_t *source_p, /**< source code */
                          size_t source_size, /**< source code size */
-                          void *user_p __attribute__((unused))) /**< user pointer */
+                          void *user_p /**< user pointer */)
 {
+  (void) user_p;
+
  jerry_value_t ret_val = jerry_parse (resource_name_p,
                                       resource_name_size,
                                       source_p,