summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEli Zaretskii <eliz@gnu.org>2010-07-12 17:18:31 +0000
committerEli Zaretskii <eliz@gnu.org>2010-07-12 17:18:31 +0000
commit02ff72c9705b63d74eb26e8cf2294f40d800517a (patch)
tree72d35ae826abd6c00b22d3dbcd8fb2336c12c87a
parent90b30b6e0e05d4e460dadf9dc784b6e21c6e8a82 (diff)
downloadgunmake-02ff72c9705b63d74eb26e8cf2294f40d800517a.tar.gz
Add missing one_shell declaration.
-rw-r--r--make.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/make.h b/make.h
index e46a150..0b486a0 100644
--- a/make.h
+++ b/make.h
@@ -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;