# 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