savedcmd_drivers/char/tpm/built-in.a := rm -f drivers/char/tpm/built-in.a;  printf "drivers/char/tpm/%s " tpm-chip.o tpm-dev-common.o tpm-dev.o tpm-interface.o tpm1-cmd.o tpm2-cmd.o tpmrm-dev.o tpm2-space.o tpm-sysfs.o eventlog/common.o eventlog/tpm1.o eventlog/tpm2.o tpm-buf.o tpm2-sessions.o tpm_ppi.o eventlog/acpi.o eventlog/efi.o eventlog/of.o tpm_i2c_infineon.o | xargs ar cDPrST drivers/char/tpm/built-in.a
