diff options
| author | Frank Heckenbach <f.heckenbach@fh-soft.de> | 2013-04-14 15:38:07 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-04-14 15:38:07 -0400 |
| commit | cb64352c75f0da8979c9addd37b2b78bb97d5301 (patch) | |
| tree | cfc17e9359b14ed657e46d6092f55b921a1047f2 /makeint.h | |
| parent | 6a52395ed14e0bda22be3fc0819e4507a71278e1 (diff) | |
| download | gunmake-cb64352c75f0da8979c9addd37b2b78bb97d5301.tar.gz | |
Initial patch for output synchronization. See Savannah bug #33138.
Based on work by David Boyce <David.S.Boyce@gmail.com>.
Diffstat (limited to 'makeint.h')
| -rw-r--r-- | makeint.h | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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; |