Searched refs:batch_file (Results 1 – 1 of 1) sorted by relevance
33 char *batch_file = NULL; variable229 batch_file = argv[1]; in main()256 if (batch_file) in main()257 return batch(batch_file); in main()