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-makeall
changeset 13994 aa78df2e254b
parent 13990 506102b6a6d4
child 14012 9d1f027eb4e8 
--- 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