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

diff -r b1606b3c0a8a -r b1f5ced5da21 make/jprt.properties
--- a/make/jprt.properties	Fri Sep 04 05:31:37 2009 -0700
+++ b/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