Makefile: detect when PYTHON_PATH changes
authorChristian Couder <chriscool@tuxfamily.org>
Tue, 18 Dec 2012 15:26:38 +0000 (16:26 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Dec 2012 00:12:04 +0000 (16:12 -0800)
commit96a4647fca54031974cd6ad1971e85848a5269fd
treec76e16d422a81c7279ab4b57a37ef0775507bc6b
parent8f26aa44afab5455c911c9e15dd610758113d21c
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>
.gitignore
Makefile