diff options
Diffstat (limited to 'makeint.h')
-rw-r--r-- | makeint.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -614,6 +614,7 @@ extern int print_version_flag, print_directory_flag, check_symlink_flag; extern int warn_undefined_variables_flag, trace_flag, posix_pedantic; extern int not_parallel, second_expansion, clock_skew_detected; extern int rebuilding_makefiles, one_shell, output_sync, verify_flag; +extern int sun_flag; /* can we run commands via 'sh -c xxx' or must we use batch files? */ extern int batch_mode_shell; |