diff options
author | Paul Smith <psmith@gnu.org> | 2010-08-29 23:05:26 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2010-08-29 23:05:26 +0000 |
commit | a86d1693bac05e04f90a2ee3c4fa3547c788377c (patch) | |
tree | e26687d523ee3e243ca9f0b0dc6a2f4d57321919 /make.h | |
parent | 3b1432d86aebdc48aaa52efa06fad1ad662b38d7 (diff) | |
download | gunmake-a86d1693bac05e04f90a2ee3c4fa3547c788377c.tar.gz |
Bump the version to 3.82.90.
Fix some doc bugs.
Implement the --trace flag.
Show filename/linenumber on error.
Diffstat (limited to 'make.h')
-rw-r--r-- | make.h | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -511,9 +511,9 @@ extern int just_print_flag, silent_flag, ignore_errors_flag, keep_going_flag; extern int print_data_base_flag, question_flag, touch_flag, always_make_flag; 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, posix_pedantic, not_parallel; -extern int second_expansion, clock_skew_detected, rebuilding_makefiles; -extern int one_shell; +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; /* can we run commands via 'sh -c xxx' or must we use batch files? */ extern int batch_mode_shell; |