Lines Matching defs:exec_file
139 static char *exec_file;
146 exec_file = exec_file_arg;
147 if (exec_file == 0)
148 exec_file = get_exec_file (1);
165 /* Multiplying the length of exec_file by 4 is to account for the fact
168 len = 5 + 4 * strlen (exec_file) + 1 + strlen (allargs) + 1 + /*slop */ 12;
184 argv[0] = exec_file;
193 /* Now add exec_file, quoting as necessary. */
204 p = exec_file;
238 for (p = exec_file; *p != '\0'; ++p)
250 strcat (shell_command, exec_file);
357 execvp (exec_file, argv);
361 fprintf_unfiltered (gdb_stderr, "Cannot exec %s ", exec_file);