Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
shortened time out by 3h (gives up at 12:00h now).
authorkleing
Fri, 24 Jun 2005 04:18:48 +0200
changeset 16559 2916415680b9
parent 16558 e97188c6bd71
child 16560 bed540afd4b3
shortened time out by 3h (gives up at 12:00h now). test should be finished by 10:00h usually.
Admin/isatest-check file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-check	Fri Jun 24 03:16:52 2005 +0200
+++ b/Admin/isatest-check	Fri Jun 24 04:18:48 2005 +0200
@@ -46,9 +46,9 @@
 
 ## main
 
-# check if tests are still running, wait for them to finish for max 8h
+# check if tests are still running, wait for them to finish for max 5h
 i=0
-while [ -n "$(ls $RUNNING)" -a $i -lt 8 ]; do 
+while [ -n "$(ls $RUNNING)" -a $i -lt 5 ]; do 
     sleep 3600
     let "i = i+1"
 done
isabelle