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.
send more information with test-takes-too-long message
authorkleing
Fri, 25 Nov 2005 11:34:37 +0100
changeset 18244 694648741d5a
parent 18243 1287b15f27ef
child 18245 65e60434b3c2
send more information with test-takes-too-long message (which tests are still running)
Admin/isatest-check file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-check	Thu Nov 24 12:14:56 2005 +0100
+++ b/Admin/isatest-check	Fri Nov 25 11:34:37 2005 +0100
@@ -56,6 +56,10 @@
 # still running -> give up
 if [ -n "$(ls $RUNNING)" ]; then
     echo "Giving up waiting for test to finish at $(date)." > $TMP
+    echo >> $TMP
+    echo "Sessions still running:" >> $TMP
+    echo "$(ls $RUNNING)" >> TMP
+    echo >> $TMP
     echo "Attaching all error logs collected so far." >> $TMP
     echo >> $TMP
isabelle