From cb64352c75f0da8979c9addd37b2b78bb97d5301 Mon Sep 17 00:00:00 2001 From: Frank Heckenbach Date: Sun, 14 Apr 2013 15:38:07 -0400 Subject: Initial patch for output synchronization. See Savannah bug #33138. Based on work by David Boyce . --- makeint.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'makeint.h') diff --git a/makeint.h b/makeint.h index 6f2ee67..2273fad 100644 --- a/makeint.h +++ b/makeint.h @@ -396,7 +396,7 @@ void fatal (); #endif void die (int) __attribute__ ((noreturn)); -void log_working_directory (int); +void log_working_directory (int, int); void pfatal_with_name (const char *) __attribute__ ((noreturn)); void perror_with_name (const char *, const char *); void *xmalloc (unsigned int); @@ -525,6 +525,9 @@ int strncasecmp (const char *s1, const char *s2, int n); # endif #endif +#define PARALLEL_SYNC_FINE 1 +#define PARALLEL_SYNC_COARSE 2 + extern const gmk_floc *reading_file; extern const gmk_floc **expanding_var; @@ -536,7 +539,7 @@ extern int env_overrides, no_builtin_rules_flag, no_builtin_variables_flag; 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; +extern int rebuilding_makefiles, one_shell, parallel_sync; /* can we run commands via 'sh -c xxx' or must we use batch files? */ extern int batch_mode_shell; -- cgit v1.2.3