make/jprt.properties

changeset 1379
b1f5ced5da21
parent 1326
703065c670fa
child 1847
731bcbe3c9c4
     1.1 --- a/make/jprt.properties	Fri Sep 04 05:31:37 2009 -0700
     1.2 +++ b/make/jprt.properties	Thu Sep 03 19:21:55 2009 -0700
     1.3 @@ -40,6 +40,10 @@
     1.4  
     1.5  jprt.tools.default.release=${jprt.submit.release}
     1.6  
     1.7 +# Disable syncing the source after builds and tests are done.
     1.8 +
     1.9 +jprt.sync.push=false
    1.10 +
    1.11  # Define the Solaris platforms we want for the various releases
    1.12  
    1.13  jprt.my.solaris.sparc.jdk7=solaris_sparc_5.10

mercurial