Searched refs:batch_file (Results 1 – 3 of 3) sorted by relevance
27 char *batch_file; variable181 batch_file = argv[1]; in main()193 if (batch_file) in main()194 return batch(batch_file); in main()
173 char *batch_file = NULL; in main() local258 batch_file = argv[1]; in main()297 if (batch_file) in main()298 return batch(batch_file); in main()
307 char *batch_file = NULL; in main() local339 batch_file = argv[1]; in main()365 if (batch_file) in main()366 return batch(batch_file); in main()