Searched refs:argtmp (Results 1 – 1 of 1) sorted by relevance
76 const char *argtmp; in main() local139 argtmp = argv[optind]; in main()141 argtmp = argv[optind] + 2; in main()143 read_ttydefs(argtmp, TRUE); in main()147 argtmp); in main()157 nextlabel, argtmp); in main()