# HG changeset patch
# User jcoomes
# Date 1252030915 25200
# Node ID 3114dcd8414989643d614aff92614057b3dd3d05
# Parent  eb8f2811567e67e3915c13ef74c7a8a46414da3a
6879076: disable jprt sync after builds are done
Reviewed-by: kamg, dholmes

diff -r eb8f2811567e -r 3114dcd84149 hotspot/make/jprt.properties
--- a/hotspot/make/jprt.properties	Fri Sep 04 05:31:37 2009 -0700
+++ b/hotspot/make/jprt.properties	Thu Sep 03 19:21:55 2009 -0700
@@ -40,6 +40,10 @@
 
 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