diff options
| author | Paul Smith <psmith@gnu.org> | 2013-06-21 23:59:38 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-06-21 23:59:38 -0400 |
| commit | bee4d93a591f7f729717f6079f7d62ef555d9887 (patch) | |
| tree | cc35fa6eb6d54f4d733b39283985b3fdf9d6c43b /makeint.h | |
| parent | 353fcfdb30c96f14c550656f068b6d2c4ad88a86 (diff) | |
| download | gunmake-bee4d93a591f7f729717f6079f7d62ef555d9887.tar.gz | |
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.
Diffstat (limited to 'makeint.h')
| -rw-r--r-- | makeint.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; |