diff options
Diffstat (limited to 'make.h')
| -rw-r--r-- | make.h | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -449,9 +449,9 @@ extern char **environ; extern int just_print_flag, silent_flag, ignore_errors_flag, keep_going_flag; extern int debug_flag, print_data_base_flag, question_flag, touch_flag; -extern int env_overrides, no_builtin_rules_flag, print_version_flag; -extern int print_directory_flag, warn_undefined_variables_flag; -extern int posix_pedantic; +extern int env_overrides, no_builtin_rules_flag, no_builtin_variables_flag; +extern int print_version_flag, print_directory_flag; +extern int warn_undefined_variables_flag, posix_pedantic; extern int clock_skew_detected; /* can we run commands via 'sh -c xxx' or must we use batch files? */ |