Index: src/platform/tpm_lite/src/Makefile |
diff --git a/src/platform/tpm_lite/src/Makefile b/src/platform/tpm_lite/src/Makefile |
index 8f8b208cb6c37319b20fcf3b2b60565df4f40b21..2762396f7796b00d6b570d2228ca155d25418ba1 100644 |
--- a/src/platform/tpm_lite/src/Makefile |
+++ b/src/platform/tpm_lite/src/Makefile |
@@ -8,9 +8,12 @@ |
USE_TPM_EMULATOR ?= 1 |
default: |
- @echo "Usage: make { local | cross } [ USE_TPM_EMULATOR=0 ]" |
+ @echo "Usage: make { firmware | local | cross } [ USE_TPM_EMULATOR=0 ]" |
@exit 1 |
+firmware: |
+ (cd tlcl; $(MAKE) -f Makefile.firmware) |
+ |
local: |
(cd tlcl; $(MAKE) USE_TPM_EMULATOR=$(USE_TPM_EMULATOR)) |
(cd testsuite; $(MAKE) USE_TPM_EMULATOR=$(USE_TPM_EMULATOR) \ |