commit | e4dd89ab98466e4d8e5fdadb0576f7e074992f48 | [log] [tgz] |
---|---|---|
author | Jeff King <peff@peff.net> | Wed Jun 20 14:32:16 2012 -0400 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Jul 09 08:57:52 2012 -0700 |
tree | 8552fdbabb151c6955c96bb844e08ee2236c7a96 | |
parent | 2b9391bc675f5435aee0ec9dc3a725c81591bf2d [diff] |
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>