mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-19 01:47:52 +00:00
7040096: Fix broken hg tip for 'make source'
Reviewed-by: katleman
This commit is contained in:
parent
bb6082b053
commit
ca53ccfc32
@ -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
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user