496 |
extern int warn_undefined_variables_flag, posix_pedantic, not_parallel; |
extern int warn_undefined_variables_flag, posix_pedantic, not_parallel; |
497 |
extern int clock_skew_detected, rebuilding_makefiles; |
extern int clock_skew_detected, rebuilding_makefiles; |
498 |
|
|
|
extern const char *env_shell; |
|
|
|
|
499 |
/* can we run commands via 'sh -c xxx' or must we use batch files? */ |
/* can we run commands via 'sh -c xxx' or must we use batch files? */ |
500 |
extern int batch_mode_shell; |
extern int batch_mode_shell; |
501 |
|
|