| author | jcoomes |
| Thu Sep 03 19:21:55 2009 -0700 (6 months ago) | |
| changeset 943 | b1f5ced5da21 |
| parent 942 | b1606b3c0a8a |
| child 944 | 68ef3fdcdb76 |
--- a/make/jprt.properties Fri Sep 04 05:31:37 2009 -0700+++ b/make/jprt.properties Thu Sep 03 19:21:55 2009 -0700@@ -39,6 +39,10 @@ jprt.need.sibling.build=false# This tells jprt what default release we want to buildjprt.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