Commit e4dd89a
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>1 parent 2b9391b commit e4dd89a
2 files changed
+14
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| 6 | + | |
6 | 7 | | |
7 | 8 | | |
8 | 9 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2007 | 2007 | | |
2008 | 2008 | | |
2009 | 2009 | | |
| 2010 | + | |
| 2011 | + | |
2010 | 2012 | | |
2011 | 2013 | | |
2012 | 2014 | | |
| |||
2019 | 2021 | | |
2020 | 2022 | | |
2021 | 2023 | | |
2022 | | - | |
| 2024 | + | |
| 2025 | + | |
| 2026 | + | |
| 2027 | + | |
| 2028 | + | |
| 2029 | + | |
| 2030 | + | |
| 2031 | + | |
| 2032 | + | |
2023 | 2033 | | |
2024 | 2034 | | |
2025 | 2035 | | |
2026 | 2036 | | |
2027 | | - | |
| 2037 | + | |
2028 | 2038 | | |
2029 | 2039 | | |
2030 | 2040 | | |
| |||
2726 | 2736 | | |
2727 | 2737 | | |
2728 | 2738 | | |
2729 | | - | |
| 2739 | + | |
2730 | 2740 | | |
2731 | 2741 | | |
2732 | 2742 | | |
| |||
0 commit comments