diff options
| author |  Jeff King <peff@peff.net> | 2012-06-20 14:32:16 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2012-07-09 08:57:52 -0700 |
| commit | e4dd89ab98466e4d8e5fdadb0576f7e074992f48 (patch) | |
| tree | 8552fdbabb151c6955c96bb844e08ee2236c7a96 /t/t5100/info0005 | |
| parent | Makefile: do not replace @@GIT_VERSION@@ in shell scripts (diff) | |
| download | tgif-e4dd89ab98466e4d8e5fdadb0576f7e074992f48.tar.xz | |
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 't/t5100/info0005')
0 files changed, 0 insertions, 0 deletions