diff options
author | Jeff King <peff@peff.net> | 2012-06-20 18:32:16 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-07-09 15:57:52 (GMT) |
commit | e4dd89ab98466e4d8e5fdadb0576f7e074992f48 (patch) | |
tree | 8552fdbabb151c6955c96bb844e08ee2236c7a96 /.gitignore | |
parent | 2b9391bc675f5435aee0ec9dc3a725c81591bf2d (diff) | |
download | git-e4dd89ab98466e4d8e5fdadb0576f7e074992f48.zip git-e4dd89ab98466e4d8e5fdadb0576f7e074992f48.tar.gz git-e4dd89ab98466e4d8e5fdadb0576f7e074992f48.tar.bz2 |
Makefile: update scripts when build-time parameters change
Currently, running:
make SHELL_PATH=/bin/bash &&
make SHELL_PATH=/bin/sh
will not rebuild any shell scripts in the second command,
leading to incorrect results when building from an unclean
working directory.
This patch introduces a new dependency meta-file to notice
the change.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3,6 +3,7 @@ /GIT-LDFLAGS /GIT-GUI-VARS /GIT-PREFIX +/GIT-SCRIPT-DEFINES /GIT-USER-AGENT /GIT-VERSION-FILE /bin-wrappers/ |