diff --git a/make/jprt.properties b/make/jprt.properties index a443c4886515d2f49a3e134291706bd018e9ae8f..66243d17550f646964c028eee08dda38ca108403 100644 --- a/make/jprt.properties +++ b/make/jprt.properties @@ -40,6 +40,10 @@ jprt.need.sibling.build=false jprt.tools.default.release=${jprt.submit.release} +# Disable syncing the source after builds and tests are done. + +jprt.sync.push=false + # Define the Solaris platforms we want for the various releases jprt.my.solaris.sparc.jdk7=solaris_sparc_5.10