diff options
Diffstat (limited to 'src/makeint.h')
| -rw-r--r-- | src/makeint.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/makeint.h b/src/makeint.h index 00f72190..e130e761 100644 --- a/src/makeint.h +++ b/src/makeint.h @@ -738,10 +738,10 @@ extern unsigned short stopchar_map[]; extern int just_print_flag, run_silent, 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, check_symlink_flag, export_all_variables; -extern int warn_undefined_variables_flag, posix_pedantic; +extern int print_version_flag, check_symlink_flag, posix_pedantic; extern int not_parallel, second_expansion, clock_skew_detected; extern int rebuilding_makefiles, one_shell, output_sync, verify_flag; +extern int export_all_variables; extern unsigned long command_count; extern const char *default_shell; |