From 59a8ce16c106776d48669ce8d341dbdf8dab5d37 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sun, 24 Jan 2016 13:05:17 +0100
Subject: disable xen for now

---
 debian/rules | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'debian')

diff --git a/debian/rules b/debian/rules
index c7a25a4..c2e3318 100755
--- a/debian/rules
+++ b/debian/rules
@@ -265,13 +265,10 @@ endif
 	dh_compress -a -N$(pkg) -N$(pkg_udeb) -N$(pkg_xen) -N$(pkg_xen_udeb) -N$(pkg_dbg) -N$(pkg_xen_dbg)
 ifeq ($(filter stage1,$(DEB_BUILD_PROFILES)),)
 	dh_compress -p$(pkg) boot/gnumach-$(VERSION)-$(MACHINE)
-	dh_compress -p$(pkg_xen) boot/gnumach-$(VERSION)-xen-$(MACHINE)
 ifeq ($(DEB_HOST_ARCH_OS),hurd)
 	dh_compress -p$(pkg_udeb) boot/gnumach
-	dh_compress -p$(pkg_xen_udeb) boot/gnumach
 endif
 	dh_compress -p$(pkg_dbg) boot/gnumach-$(VERSION)-$(MACHINE)-dbg
-	dh_compress -p$(pkg_xen_dbg) boot/gnumach-$(VERSION)-xen-$(MACHINE)-dbg
 endif
 	dh_fixperms -a
 	dh_installdeb -a
-- 
cgit v1.2.3