Searched refs:headerFileName (Results 1 – 1 of 1) sorted by relevance
408 const char* headerFileName = argv[7]; in main() local409 sOutput = fopen(headerFileName, "wb"); in main()411 error("Could not open file \"%s\" for writing", headerFileName); in main()