From bee4d93a591f7f729717f6079f7d62ef555d9887 Mon Sep 17 00:00:00 2001 From: Paul Smith Date: Fri, 21 Jun 2013 23:59:38 -0400 Subject: Disable database verification unless debug enabled. The database verification can take a long time. Only enable it if debug mode is enabled. If MAKE_MAINTAINER_MODE is set, it's also enabled by default. --- makeint.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'makeint.h') diff --git a/makeint.h b/makeint.h index 749a601..a145970 100644 --- a/makeint.h +++ b/makeint.h @@ -561,7 +561,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, output_sync; +extern int rebuilding_makefiles, one_shell, output_sync, verify_flag; /* can we run commands via 'sh -c xxx' or must we use batch files? */ extern int batch_mode_shell; -- cgit v1.2.3