Searched refs:cmdline (Results 1 – 2 of 2) sorted by relevance
412 const char *depfile, *target, *cmdline; in main() local420 cmdline = argv[3]; in main()422 printf("savedcmd_%s := %s\n\n", target, cmdline); in main()
191 cmdline = "add-symbol-file {filename} {sections}".format(194 gdb.execute(cmdline, to_string=True)
Completed in 5 milliseconds