diff options
author | Christian Couder <chriscool@tuxfamily.org> | 2012-12-18 16:26:38 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-12-18 16:12:04 -0800 |
commit | 96a4647fca54031974cd6ad1971e85848a5269fd (patch) | |
tree | c76e16d422a81c7279ab4b57a37ef0775507bc6b /git-pull.sh | |
parent | Makefile: remove tracking of TCLTK_PATH (diff) | |
download | tgif-96a4647fca54031974cd6ad1971e85848a5269fd.tar.xz |
Makefile: detect when PYTHON_PATH changes
When make is run, the python scripts are created from *.py files that
are changed to use the python given by PYTHON_PATH. And PYTHON_PATH
is set by default to /usr/bin/python on Linux.
This is nice except when you run make another time setting a
different PYTHON_PATH, because, as the python scripts have already
been created, make finds nothing to do.
The goal of this patch is to detect when the PYTHON_PATH changes and
to create the python scripts again when this happens. To do that we
use the same trick that is done to track other variables like prefix,
flags, tcl/tk path and shell path. We update a GIT-PYTHON-VARS file
with the PYTHON_PATH and check if it changed.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Acked-by: Pete Wyckoff <pw@padd.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-pull.sh')
0 files changed, 0 insertions, 0 deletions