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.
tuned
authorkleing
Fri, 09 May 2003 14:21:07 +0200
changeset 13994 aa78df2e254b
parent 13993 88a8911bb65d
child 13995 ab988a7a8a3b
tuned
Admin/isatest-makeall file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makeall	Fri May 09 14:15:50 2003 +0200
+++ b/Admin/isatest-makeall	Fri May 09 14:21:07 2003 +0200
@@ -119,7 +119,7 @@
         echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
 
         # error log
-        echo "Test for platform ${SHORT}failed. Log file available at" >> $ERRORLOG
+        echo "Test for platform ${SHORT} failed. Log file available at" >> $ERRORLOG
         echo "$HOSTNAME:$TESTLOG" >> $ERRORLOG
         echo "[...]" >> $ERRORLOG
         tail -3 $L >> $ERRORLOG
isabelle