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