mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-12 03:18:37 +00:00
Merge
This commit is contained in:
commit
dbc0cc5b38
@ -28,8 +28,6 @@
|
||||
|
||||
ALT_MAKE ?= closed
|
||||
|
||||
-include $(ALT_MAKE)/Makefile
|
||||
|
||||
GETMIXEDPATH=echo
|
||||
|
||||
# Utilities used
|
||||
@ -304,6 +302,8 @@ else
|
||||
endif
|
||||
JTREG_BASIC_OPTIONS += $(JTREG_KEY_OPTION)
|
||||
|
||||
-include $(ALT_MAKE)/Makefile
|
||||
|
||||
# Make sure jtreg exists
|
||||
$(JTREG): $(JT_HOME)
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user