summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJeff King <peff@peff.net>2012-06-20 14:32:16 -0400
committerJunio C Hamano <gitster@pobox.com>2012-07-09 08:57:52 -0700
commite4dd89ab98466e4d8e5fdadb0576f7e074992f48 (patch)
tree8552fdbabb151c6955c96bb844e08ee2236c7a96 /.gitignore
parent2b9391bc675f5435aee0ec9dc3a725c81591bf2d (diff)
downloadgit-e4dd89ab98466e4d8e5fdadb0576f7e074992f48.tar.gz
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--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index c60c5a323f..6535cd73ad 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
/GIT-LDFLAGS
/GIT-GUI-VARS
/GIT-PREFIX
+/GIT-SCRIPT-DEFINES
/GIT-USER-AGENT
/GIT-VERSION-FILE
/bin-wrappers/