mirror of
https://github.com/openjdk/jdk.git
synced 2026-03-16 10:53:31 +00:00
Merge
This commit is contained in:
commit
c51efcec4c
@ -192,7 +192,7 @@ source-tips: $(OUTPUT_ROOT)/source_tips
|
||||
$(OUTPUT_ROOT)/source_tips: FRC
|
||||
@$(MKDIR) -p $(@D)
|
||||
@$(RM) $@
|
||||
@$(if $(HG),$(call GetSourceTips),$(ECHO) "hg not installed" > $@)
|
||||
@$(call GetSourceTips)
|
||||
|
||||
|
||||
# Remove everything, except the output from configure.
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user