8145828: JPRT hotspot push jobs should allow merge on push
Reviewed-by: dholmes, iklam
This commit is contained in:
parent
280ec689c6
commit
19cddada2c
@ -34,13 +34,8 @@ jprt.selective.test.bundle.installation=true
|
||||
# The current release name
|
||||
jprt.tools.default.release=jdk9
|
||||
|
||||
# Check if this is the equivalent of a hotspot push job
|
||||
# Interpret -testset hotspot to mean exactly that
|
||||
my.is.hotspot.job.hotspot=true
|
||||
my.is.hotspot.job=${my.is.hotspot.job.${jprt.test.set}}
|
||||
|
||||
# Disable syncing the source after builds and tests are done
|
||||
jprt.sync.push=${my.is.hotspot.job ? false : true}
|
||||
# Allow concurrent changes to be merged in prior to pushing
|
||||
jprt.sync.push=true
|
||||
|
||||
# Directories to be excluded from the source bundles
|
||||
jprt.bundle.exclude.src.dirs=build dist webrev
|
||||
|
Loading…
x
Reference in New Issue
Block a user