# HG changeset patch
# User wenzelm
# Date 1419175582 -3600
# Node ID c484992c813abce5151c07602c64a77cd399f1a0
# Parent  4e43651235b20b641824a574fe514b8f99cf2176
increase chances of success;

diff -r 4e43651235b2 -r c484992c813a Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Sun Dec 21 15:59:19 2014 +0100
+++ b/Admin/isatest/isatest-makeall	Sun Dec 21 16:26:22 2014 +0100
@@ -90,7 +90,7 @@
         BUILD_ARGS="-o timeout=72000 $BUILD_ARGS"
         ;;
       *)
-        BUILD_ARGS="-o timeout=7200 $BUILD_ARGS"
+        BUILD_ARGS="-o timeout=10800 $BUILD_ARGS"
         ;;
     esac
 
diff -r 4e43651235b2 -r c484992c813a Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Sun Dec 21 15:59:19 2014 +0100
+++ b/Admin/isatest/settings/at64-poly	Sun Dec 21 16:26:22 2014 +0100
@@ -2,8 +2,8 @@
 
 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
-  POLYML_HOME="/home/polyml/polyml-5.5.1"
-  ML_SYSTEM="polyml-5.5.1"
+  POLYML_HOME="/home/polyml/polyml-5.5.2"
+  ML_SYSTEM="polyml-5.5.2"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="--minheap 1000 --maxheap 3000 --gcthreads 1"