From: Ian Jackson <iwj@barriere.debian.org>
Date: Fri, 12 Oct 2018 16:00:16 +0000 (+0000)
Subject: config/Tools.mk.in: Respect caller's CONFIG_PV_SHIM
X-Git-Tag: archive/raspbian/4.17.0-1+rpi1^2~14
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=bfdc4528e8fef89abccfc283131bb55f1b33e3e2;p=xen.git

config/Tools.mk.in: Respect caller's CONFIG_PV_SHIM

This makes it easier to disable the shim build.  (In Debian we need to
build the shim separately because it needs different compiler flags).

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
[ Hans: adjust from tools/firmware/Makefile to config/Tools.mk.in to
follow changes that happened in 8845155c83 ("pvshim: make PV shim build
selectable from configure") ]
Signed-off-by: Hans van Kranenburg <hans@knorrie.org>
---

diff --git a/config/Tools.mk.in b/config/Tools.mk.in
index d0d460f922..73a06d721e 100644
--- a/config/Tools.mk.in
+++ b/config/Tools.mk.in
@@ -77,4 +77,4 @@ ARGP_LDFLAGS        := @argp_ldflags@
 
 FILE_OFFSET_BITS    := @FILE_OFFSET_BITS@
 
-CONFIG_PV_SHIM      := @pvshim@
+CONFIG_PV_SHIM      ?= @pvshim@