changeset 59167 | c484992c813a |
parent 59161 | 5a13df748fac |
child 60684 | 53a71c9203b2 |
59166:4e43651235b2 | 59167:c484992c813a |
---|---|
88 case "$SETTINGS" in |
88 case "$SETTINGS" in |
89 *sml*) |
89 *sml*) |
90 BUILD_ARGS="-o timeout=72000 $BUILD_ARGS" |
90 BUILD_ARGS="-o timeout=72000 $BUILD_ARGS" |
91 ;; |
91 ;; |
92 *) |
92 *) |
93 BUILD_ARGS="-o timeout=7200 $BUILD_ARGS" |
93 BUILD_ARGS="-o timeout=10800 $BUILD_ARGS" |
94 ;; |
94 ;; |
95 esac |
95 esac |
96 |
96 |
97 # logfile setup |
97 # logfile setup |
98 |
98 |