diff -r 087c2b76d360 tools/vtpm/Makefile
--- a/tools/vtpm/Makefile	Tue Jan 22 19:26:52 2008 +0000
+++ b/tools/vtpm/Makefile	Tue Jan 29 15:04:30 2008 -0500
@@ -83,7 +83,7 @@ updatepatches: clean orig
 
 .PHONY: build_sub
 build_sub:
-	set -e; @if [ -e $(GMP_HEADER) ]; then \
+	set -e; if [ -e $(GMP_HEADER) ]; then \
 		$(MAKE) -C $(VTPM_DIR); \
 		if [ "$(BUILD_EMULATOR)" = "y" ]; then \
 			$(MAKE) -C $(TPM_EMULATOR_DIR); \