HomeSort by: relevance | last modified time | path
    Searched defs:file_to_open (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gdb.old/dist/gdb/cli/
cli-cmds.c 674 FILE_TO_OPEN is the form of FILE to use if one needs to open the file.
678 extension language from FILE_TO_OPEN. */
682 const char *file_to_open)
697 sourcer (extlang, stream, file_to_open);
746 const char *file_to_open;
749 file_to_open = opened->full_path.get ();
753 file_to_open = tilde_expanded_file.c_str ();
755 source_script_from_stream (opened->stream.get (), file, file_to_open);
741 const char *file_to_open; local
  /src/external/gpl3/gdb/dist/gdb/cli/
cli-cmds.c 675 FILE_TO_OPEN is the form of FILE to use if one needs to open the file.
679 extension language from FILE_TO_OPEN. */
683 const char *file_to_open)
698 sourcer (extlang, stream, file_to_open);
747 const char *file_to_open;
750 file_to_open = opened->full_path.get ();
754 file_to_open = tilde_expanded_file.c_str ();
756 source_script_from_stream (opened->stream.get (), file, file_to_open);
742 const char *file_to_open; local

Completed in 32 milliseconds