Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest-check
changeset 18329 221d47d17a81
parent 18244 694648741d5a
child 21038 c7b041a6bbfe 
--- a/Admin/isatest-check	Thu Dec 01 22:04:27 2005 +0100
+++ b/Admin/isatest-check	Thu Dec 01 22:43:15 2005 +0100
@@ -58,7 +58,7 @@
     echo "Giving up waiting for test to finish at $(date)." > $TMP
     echo >> $TMP
     echo "Sessions still running:" >> $TMP
-    echo "$(ls $RUNNING)" >> TMP
+    echo "$(ls $RUNNING)" >> $TMP
     echo >> $TMP
     echo "Attaching all error logs collected so far." >> $TMP
     echo >> $TMP
isabelle