Searched refs:wfname (Results 1 – 1 of 1) sorted by relevance
225 char *wfname = NULL; in main() local262 wfname = optarg; in main()285 if (wfname) { in main()287 (void) printf(_("Loading widths %s.\n"), wfname); in main()288 reset_scanner(wfname); in main()