Searched refs:strip_argv (Results 1 – 1 of 1) sorted by relevance
1371 const char ** strip_argv = (const char **) real_strip_argv; in main() local1373 strip_argv[0] = strip_file_name; in main()1374 strip_argv[1] = output_file; in main()1375 strip_argv[2] = (char *) 0; in main()