diff --git a/mps/home/etc/trillian.cron b/mps/home/etc/trillian.cron index 6522e08bade..a1315a17dd8 100644 --- a/mps/home/etc/trillian.cron +++ b/mps/home/etc/trillian.cron @@ -1,8 +1,8 @@ -# $HopeName: HOMEmm!etc:trillian.cron(trunk.18) $ +# $HopeName: HOMEmm!etc:trillian.cron(trunk.19) $ # minutes hours day-of-month month day-of-week command 00 21 * * * sh -c ". etc/shenv && overnight checkout" 05 21 * * * sh -c "./bin/tidy" 10 21 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_src_trunk sos8gc" -30 21 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_cottonwood sos8gc" -10 23 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_boxturtle sos8gc" +30 21 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_boxturtle sos8gc" 50 0 * * * sh -c ". etc/shenv && overnight ./bin/build/MMepcore_pilchard sos8gc" +00 4 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_salamander sos8gc"