diff options
| author | Paul Smith <psmith@gnu.org> | 1999-07-08 06:49:52 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 1999-07-08 06:49:52 +0000 |
| commit | 4aaf42aa4521ca61713afe987ea0ab7d8fa862f5 (patch) | |
| tree | 9deed22ea903857c11aac5375cc115f8e073a2b9 /make.h | |
| parent | 07b5509929049ba1e092b0671b4aa6e9bf20efb7 (diff) | |
| download | make-4aaf42aa4521ca61713afe987ea0ab7d8fa862f5.tar.gz | |
* Added -R / --no-builtin-variables flag.
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? */ |