From 101f56fff0c05e35bdd869a8612804603262b5d1 Mon Sep 17 00:00:00 2001
From: Bastian Blank <waldi@debian.org>
Date: Sat, 5 Jul 2014 11:47:31 +0200
Subject: [PATCH] tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff


Gbp-Pq: Topic misc
Gbp-Pq: Name tools-xenmon-install.diff
---
 tools/xenmon/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/xenmon/Makefile b/tools/xenmon/Makefile
index e1712304d0..e80578411b 100644
--- a/tools/xenmon/Makefile
+++ b/tools/xenmon/Makefile
@@ -13,6 +13,10 @@
 XEN_ROOT=$(CURDIR)/../..
 include $(XEN_ROOT)/tools/Rules.mk
 
+DEFAULT_PYTHON_PATH := $(shell $(XEN_ROOT)/tools/python/get-path)
+PYTHON_PATH ?= $(DEFAULT_PYTHON_PATH)
+INSTALL_PYTHON_PROG = $(XEN_ROOT)/tools/python/install-wrap "$(PYTHON_PATH)" $(INSTALL_PROG)
+
 CFLAGS  += -Werror
 CFLAGS  += $(CFLAGS_libxenevtchn)
 CFLAGS  += $(CFLAGS_libxenctrl)
-- 
2.30.2