From ca53ccfc326c884239cdcb9a610c1dd1f6b16286 Mon Sep 17 00:00:00 2001
From: Kelly O'Hair <ohair@openjdk.org>
Date: Wed, 27 Apr 2011 14:02:01 -0700
Subject: [PATCH] 7040096: Fix broken hg tip for 'make source'

Reviewed-by: katleman
---
 jdk/make/common/shared/Defs.gmk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jdk/make/common/shared/Defs.gmk b/jdk/make/common/shared/Defs.gmk
index 600421732d0..87a3ec3b266 100644
--- a/jdk/make/common/shared/Defs.gmk
+++ b/jdk/make/common/shared/Defs.gmk
@@ -646,7 +646,7 @@ endef
 
 # Create the HGTIP_FILENAME file
 define CreateHgTip
-$(HG) tip --repository $1 --template '{node|short}\n' > $1/$(HGTIP_FILENAME)
+$(HG) tip --repository $1 --template '{node|short}\n' > $1/$(HGTIP_FILENAME);\
 $(ECHO) $1/$(HGTIP_FILENAME)
 endef