Searched defs:keep_stabs (Results 1 – 3 of 3) sorted by relevance
159 int keep_stabs = 0; in main() local
694 copy_ctf_data(char *srcfile, char *destfile, int keep_stabs) in copy_ctf_data()864 int keep_stabs = 0; in main() local
475 int keep_stabs = (flags & CTF_KEEP_STABS); in write_file() local