[tboot-devel] PATCH: Use CPPFLAGS supplied by the environment during the build

[Timo L. <tim...@ik...>]

Hi,

please consider the attached patch. Currently tboot respects CFLAGS and 
LDFLAGS from the environment but not CPPFLAGS.

-Timo