Searched refs:infname (Results 1 – 1 of 1) sorted by relevance
38 char* infname = NULL; in main() local54 infname = *(++argv); in main()83 if (infname != NULL) { in main()84 infile = fopen(infname, "r"); in main()87 progname, infname); in main()93 infname = default_infname; in main()113 fprintf(stderr, "%s: input file = %s\n", progname, infname ); in main()121 progname, infname, ctime(&now)); in main()