Lines Matching refs:batch_mode_shell
38 int batch_mode_shell = 1;
45 int batch_mode_shell = 0;
54 int batch_mode_shell = 0;
59 int batch_mode_shell = 0;
65 int batch_mode_shell = 0;
70 int batch_mode_shell = 0;
75 int batch_mode_shell = 0;
2712 char *command_ptr = NULL; /* used for batch_mode_shell mode */
2758 if (unixy_shell && !batch_mode_shell &&
2789 } else if ((no_default_sh_exe || batch_mode_shell) && batch_filename_ptr) {
2912 fatal (NILF, _("%s (line %d) Bad shell context (!unixy && !batch_mode_shell)\n"),
