Searched refs:batch_file (Results 1 – 4 of 4) sorted by relevance
27 char *batch_file; variable183 batch_file = argv[1]; in main()195 if (batch_file) in main()196 return batch(batch_file); in main()
175 char *batch_file = NULL; in main() local258 batch_file = argv[1]; in main()300 if (batch_file) in main()301 return batch(batch_file); in main()
269 char *batch_file = NULL; in main() local299 batch_file = argv[1]; in main()323 if (batch_file) in main()324 return batch(batch_file); in main()
3945 const char *batch_file = NULL; in main() local3970 batch_file = optarg; in main()4001 if (batch_file) in main()4002 err = dl_batch(dl, batch_file, force); in main()