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.
merged
authorhaftmann
Fri, 09 Oct 2009 09:14:25 +0200
changeset 32897 2b2c56530d25
parent 32889 c7cd4d3852dd (diff)
parent 32896 99cd75a18b78 (current diff)
child 32898 e871d897969c
merged
--- a/Admin/isatest/isatest-makeall	Thu Oct 08 19:33:03 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Fri Oct 09 09:14:25 2009 +0200
@@ -164,14 +164,14 @@
         # test log and cleanup
         echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
         if [ -x $PUBLISH_TEST ]; then
-            $PUBLISH_TEST -r $IDENT -s "SUCCESS" -a log $TESTLOG
+            $PUBLISH_TEST -r $IDENT -s "SUCCESS" -a log $TESTLOG -n Makeall_isatest_$SHORT
         fi
         gzip -f $TESTLOG
     else
         # test log
         echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
         if [ -x $PUBLISH_TEST ]; then
-             $PUBLISH_TEST -r $IDENT -s "FAIL" -a log $TESTLOG
+             $PUBLISH_TEST -r $IDENT -s "FAIL" -a log $TESTLOG -n Makeall_isatest_$SHORT
         fi
 
         # error log
isabelle