# HG changeset patch # User wenzelm # Date 1419028388 -3600 # Node ID 5a13df748faced556905ab2e1b7c84a77f0e2694 # Parent faaedc8222c8e059903027e0f935384152bf97b8 more generous timeout, to increase chances of at64-poly; diff -r faaedc8222c8 -r 5a13df748fac Admin/isatest/isatest-makeall --- a/Admin/isatest/isatest-makeall Fri Dec 19 23:27:00 2014 +0100 +++ b/Admin/isatest/isatest-makeall Fri Dec 19 23:33:08 2014 +0100 @@ -87,10 +87,10 @@ case "$SETTINGS" in *sml*) - BUILD_ARGS="-o timeout=54000 $BUILD_ARGS" + BUILD_ARGS="-o timeout=72000 $BUILD_ARGS" ;; *) - BUILD_ARGS="-o timeout=5400 $BUILD_ARGS" + BUILD_ARGS="-o timeout=7200 $BUILD_ARGS" ;; esac