tools: Use INSTALL_PYTHON_PROG
authorAnthony PERARD <anthony.perard@citrix.com>
Wed, 11 Mar 2020 17:59:33 +0000 (17:59 +0000)
committerWei Liu <wl@xen.org>
Tue, 19 May 2020 10:40:53 +0000 (11:40 +0100)
commit271ade5a621005f86ec928280dc6ac85f2c4c95a
tree0b6bee82df1dfc0c7675c8bd3c76a67d37f4f99b
parent78f81c6870dea1fe3a583b5e07eeb1cbb01461f0
tools: Use INSTALL_PYTHON_PROG

Whenever python scripts are install, have the shebang be modified to use
whatever PYTHON_PATH is. This is useful for system where python isn't available, or
where the package build tools prevent unversioned shebang.

INSTALL_PYTHON_PROG only looks for "#!/usr/bin/env python".

Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Acked-by: Wei Liu <wl@xen.org>
tools/misc/xencov_split
tools/python/Makefile
tools/xenmon/Makefile