From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Wed, 22 Apr 2015 15:30:07 +0000 (+0000)
Subject: raisin: disable seabios in Xen, if the user disabled it in Raisin
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=99b50d996b5a1fd151a6b11d7ca14aaa6c1c495d;p=raisin.git

raisin: disable seabios in Xen, if the user disabled it in Raisin

If the user disabled seabios in the raisin config, disable seabios in
Xen.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
---

diff --git a/components/xen b/components/xen
index 9ff0222..add8136 100644
--- a/components/xen
+++ b/components/xen
@@ -24,7 +24,7 @@ function xen_check_package() {
 }
 
 function xen_build() {
-    local seabios_opt=""
+    local seabios_opt="--disable-seabios"
     local ovmf_opt=""
 
     cd "$BASEDIR"