diff options
author | Eli Zaretskii <eliz@gnu.org> | 2010-07-12 17:18:31 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2010-07-12 17:18:31 +0000 |
commit | 02ff72c9705b63d74eb26e8cf2294f40d800517a (patch) | |
tree | 72d35ae826abd6c00b22d3dbcd8fb2336c12c87a | |
parent | 90b30b6e0e05d4e460dadf9dc784b6e21c6e8a82 (diff) | |
download | gunmake-02ff72c9705b63d74eb26e8cf2294f40d800517a.tar.gz |
Add missing one_shell declaration.
-rw-r--r-- | make.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -502,6 +502,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, posix_pedantic, not_parallel; extern int second_expansion, clock_skew_detected, rebuilding_makefiles; +extern int one_shell; /* can we run commands via 'sh -c xxx' or must we use batch files? */ extern int batch_mode_shell; |