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.
isatest: store test identifiers
authorkrauss
Thu, 08 Oct 2009 20:56:40 +0200
changeset 32889 c7cd4d3852dd
parent 32888 ae17e72aac80
child 32897 2b2c56530d25
isatest: store test identifiers
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makeall	Wed Oct 07 14:01:26 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Thu Oct 08 20:56:40 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