mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-15 12:55:07 +00:00
Merge
This commit is contained in:
commit
13fdfcfbd1
@ -231,9 +231,11 @@ endif
|
||||
ifndef NO_DOCS
|
||||
# Default value (we want javadoc run)
|
||||
GENERATE_DOCS=true
|
||||
# No DOCS build when JDK_UPDATE_VERSION set
|
||||
ifdef JDK_UPDATE_VERSION
|
||||
GENERATE_DOCS=false
|
||||
# No DOCS build when JDK_UPDATE_VERSION set on non-OPENJDK builds
|
||||
ifndef OPENJDK
|
||||
ifdef JDK_UPDATE_VERSION
|
||||
GENERATE_DOCS=false
|
||||
endif
|
||||
endif
|
||||
# If langtools, corba, jaxp, and jaxws are not being built,
|
||||
# a full jdk javadoc is not possible
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user