Searched refs:print_cmdlist_short (Results 1 – 3 of 3) sorted by relevance
140 print_cmdlist_short(basename(name), stderr); in Usage()
225 void print_cmdlist_short(char *, FILE *);
204 print_cmdlist_short(char *name, FILE *fp) in print_cmdlist_short() function