projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b9391b) | patch
Makefile: update scripts when build-time parameters change
authorJeff King <peff@peff.net>
Wed, 20 Jun 2012 18:32:16 +0000 (14:32 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2012 15:57:52 +0000 (08:57 -0700)
commite4dd89ab98466e4d8e5fdadb0576f7e074992f48
tree8552fdbabb151c6955c96bb844e08ee2236c7a96tree | snapshot
parent2b9391bc675f5435aee0ec9dc3a725c81591bf2dcommit | 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>
.gitignore diff | blob | history
Makefile diff | blob | history
Git—the stupid content tracker