| commit | e4dd89ab98466e4d8e5fdadb0576f7e074992f48 | |
| author | Jeff King <peff@peff.net> | |
| Wed, 20 Jun 2012 18:32:16 +0000 (20 14:32 -0400) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Mon, 9 Jul 2012 15:57:52 +0000 (9 08:57 -0700) | ||
| tree | 8552fdbabb151c6955c96bb844e08ee2236c7a96 | treesnapshot (tar.gz zip) |
| parent | 2b9391bc675f5435aee0ec9dc3a725c81591bf2d | commitdiff |
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>
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>
| .gitignore | diffblobblamehistory | |
| Makefile | diffblobblamehistory |