From: Hans van Kranenburg <hans@knorrie.org>
Date: Sat, 5 Sep 2020 20:43:19 +0000 (+0200)
Subject: tools: don't build/ship xenmon
X-Git-Tag: archive/raspbian/4.14.3+32-g9de3671772-1_deb11u1+rpi1^2^2~23
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f2da708cf8e2781ecbc1ced64676c5f4fe39f75f;p=xen.git

tools: don't build/ship xenmon

It can't run with Python 3, and I'm not going to fix it.

Signed-off-by: Hans van Kranenburg <hans@knorrie.org>
---

diff --git a/tools/Makefile b/tools/Makefile
index c10946e3b1..c5a6f5cf68 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -17,7 +17,6 @@ SUBDIRS-y += xentrace
 SUBDIRS-$(CONFIG_XCUTILS) += xcutils
 SUBDIRS-$(CONFIG_X86) += firmware
 SUBDIRS-y += console
-SUBDIRS-y += xenmon
 SUBDIRS-y += xenstat
 SUBDIRS-$(CONFIG_NetBSD) += xenbackendd
 SUBDIRS-y += libfsimage