Searched refs:setheaderfile (Results 1 – 1 of 1) sorted by relevance
210 static void setheaderfile(char *);570 setheaderfile(bannerfile); in main()576 setheaderfile("stdin"); in main()594 setheaderfile(argv[i]); in main()1011 setheaderfile(char *filename) in setheaderfile() function