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