config/Tools.mk.in: Respect caller's CONFIG_PV_SHIM
authorIan Jackson <iwj@barriere.debian.org>
Fri, 12 Oct 2018 16:00:16 +0000 (16:00 +0000)
committerHans van Kranenburg <hans@knorrie.org>
Wed, 16 Nov 2022 11:50:33 +0000 (12:50 +0100)
commit8b2a1be586fb5a51b81cdd6b4988b12f07ec4b23
tree43b4238d595551846d68dfd0a72ce114a6a48ad1
parentd2aa73cad0e9d4f0e949f2cb691be979a881e5cc
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>
config/Tools.mk.in