hg: jdk7/hotspot-gc/hotspot: 6879076: disable jprt sync after builds are done

[john.coomes at sun.com]

Changeset: b1f5ced5da21
Author:    jcoomes
Date:      2009-09-03 19:21 -0700
URL:       http://hg.openjdk.java.net/jdk7/hotspot-gc/hotspot/rev/b1f5ced5da21

6879076: disable jprt sync after builds are done
Reviewed-by: kamg, dholmes

! make/jprt.properties