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.16.2-1+rpi1^2~15
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=7295bbbb1a8fd61bff2de0c3b6d2e759b4055d6d;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 934d899967..03313b308f 100644
--- a/config/Tools.mk.in
+++ b/config/Tools.mk.in
@@ -75,4 +75,4 @@ ARGP_LDFLAGS        := @argp_ldflags@
 
 FILE_OFFSET_BITS    := @FILE_OFFSET_BITS@
 
-CONFIG_PV_SHIM      := @pvshim@
+CONFIG_PV_SHIM      ?= @pvshim@