diff --git a/mps/home/etc/trillian.cron b/mps/home/etc/trillian.cron index 67a14cb5ae0..63cecc1cc47 100644 --- a/mps/home/etc/trillian.cron +++ b/mps/home/etc/trillian.cron @@ -1,8 +1,8 @@ -# $HopeName: HOMEmm!etc:trillian.cron(trunk.27) $ +# $HopeName: HOMEmm!etc:trillian.cron(trunk.28) $ # 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_crow sos8gc" -40 00 * * * sh -c ". etc/shenv && overnight ./bin/build/MMdevel_sw_eq sospgc" -00 03 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_epcore_minnow sos8gc" +30 21 * * * sh -c ". etc/shenv && overnight ./bin/build/MMdevel_sw_eq sospgc" +30 22 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_epcore_minnow sos8gc" +40 00 * * * sh -c ". etc/shenv && overnight ./bin/build/MM_dylan_dove sos8gc"