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 934d899967f38102a5af7c255223f3e09735742d..03313b308f24a1359fccbd817dd841b432b949aa 100644 (file)
--- 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@