Home
last modified time | relevance | path

Searched refs:output_file_name_p (Results 1 - 1 of 1) sorted by relevance

/third_party/jerryscript/jerry-main/
H A Dmain-unix-snapshot.c58 static const char *output_file_name_p = "js.snapshot"; variable
300 output_file_name_p = cli_consume_string (cli_state_p); in process_generate()
431 FILE *snapshot_file_p = fopen (output_file_name_p, "wb"); in process_generate()
434 jerry_port_log (JERRY_LOG_LEVEL_ERROR, "Error: Unable to write snapshot file: '%s'\n", output_file_name_p); in process_generate()
442 printf ("Created snapshot file: '%s' (%zu bytes)\n", output_file_name_p, snapshot_size); in process_generate()
691 output_file_name_p = cli_consume_string (cli_state_p); in process_merge()
756 FILE *file_p = fopen (output_file_name_p, "wb"); in process_merge()
760 jerry_port_log (JERRY_LOG_LEVEL_ERROR, "Error: cannot open file: '%s'\n", output_file_name_p); in process_merge()
769 output_file_name_p, in process_merge()

Completed in 2 milliseconds