diff options
author | Paul Smith <psmith@gnu.org> | 2013-04-14 16:31:18 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-04-14 16:31:18 -0400 |
commit | 4bf3c33f83e79951c3860297b6420e64032f04a7 (patch) | |
tree | 17a7162ec39c5c58a71d332d53142de6efc246c1 /makeint.h | |
parent | cb64352c75f0da8979c9addd37b2b78bb97d5301 (diff) | |
download | gunmake-4bf3c33f83e79951c3860297b6420e64032f04a7.tar.gz |
Rename the "parallel-sync" option to "output-sync".
Diffstat (limited to 'makeint.h')
-rw-r--r-- | makeint.h | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -525,8 +525,8 @@ int strncasecmp (const char *s1, const char *s2, int n); # endif #endif -#define PARALLEL_SYNC_FINE 1 -#define PARALLEL_SYNC_COARSE 2 +#define OUTPUT_SYNC_FINE 1 +#define OUTPUT_SYNC_COARSE 2 extern const gmk_floc *reading_file; extern const gmk_floc **expanding_var; @@ -539,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, parallel_sync; +extern int rebuilding_makefiles, one_shell, output_sync; /* can we run commands via 'sh -c xxx' or must we use batch files? */ extern int batch_mode_shell; |