1 files changed, 1 insertions, 0 deletions
diff --git a/makeint.h b/makeint.h
index 343c30d..9cd8e2e 100644
--- a/makeint.h
+++ b/makeint.h
@@ -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;