From 225ca9fdf907015dc509219b2733e09380463a3e Mon Sep 17 00:00:00 2001
From: Valko Laszlo <valko@linux.karinthy.hu>
Date: Mon, 24 Apr 2017 17:44:29 +0200
Subject: [PATCH] Updated grub platforms.

---
 make.conf.template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make.conf.template b/make.conf.template
index ac3ada8..1e3cb01 100644
--- a/make.conf.template
+++ b/make.conf.template
@@ -65,4 +65,4 @@ RUBY_TARGETS="ruby21"
 SANE_BACKENDS="mustek_usb2"
 APACHE2_MPMS="worker"
 SUEXEC_DOCROOT="/home/www"
-GRUB_PLATFORMS="emu efi-32 efi-64 pc xen xen-32"
+GRUB_PLATFORMS="emu efi-32 efi-64 pc"