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.
typo
authorkleing
Thu, 01 Dec 2005 22:43:15 +0100
changeset 18329 221d47d17a81
parent 18328 841261f303a1
child 18330 444f16d232a2
typo
Admin/isatest-check file | annotate | diff | comparison | revisions 
--- 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