Change resource name to a string. (#4724)

JerryScript-DCO-1.0-Signed-off-by: Zoltan Herczeg zherczeg.u-szeged@partner.samsung.com
This commit is contained in:
Zoltan Herczeg
2021-07-27 13:40:19 +02:00
committed by GitHub
parent d99905aca6
commit 951044c036
17 changed files with 105 additions and 106 deletions
+4 -2
View File
@@ -378,8 +378,8 @@ process_generate (cli_state_t *cli_state_p, /**< cli state */
jerry_parse_options_t parse_options;
parse_options.options = JERRY_PARSE_HAS_RESOURCE;
parse_options.resource_name_p = (jerry_char_t *) file_name_p;
parse_options.resource_name_length = (size_t) strlen (file_name_p);
parse_options.resource_name = jerry_create_string_sz ((const jerry_char_t *) file_name_p,
(jerry_size_t) strlen (file_name_p));
if (function_args_p != NULL)
{
@@ -402,6 +402,8 @@ process_generate (cli_state_t *cli_state_p, /**< cli state */
sizeof (output_buffer) / sizeof (uint32_t));
}
jerry_release_value (parse_options.resource_name);
if (jerry_value_is_error (snapshot_result))
{
jerry_port_log (JERRY_LOG_LEVEL_ERROR, "Error: Generating snapshot failed!\n");