Admin/isatest/isatest-makeall

 ## global settings
 . ~/admin/isatest/isatest-settings
 
 # max time until test is aborted (in sec)
 MAXTIME=28800
+
+PUBLISH_TEST=/home/isabelle-repository/repos/testtool/publish_test.py
 
 ## diagnostics
 
 PRG="$(basename "$0")"
 

 else
   DIR="."
   TOOL="$ISABELLE_TOOL makeall $MFLAGS all"
 fi
 
+IDENT=$(cat "$DISTPREFIX/ISABELLE_IDENT")
+
 # main test loop
 
 log "starting [$@]"
 
 for SETTINGS in $@; do

 
     if [ $? -eq 0 ]
     then
         # 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
+        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
+        fi
 
         # error log
         echo "Test for platform ${SHORT} failed. Log file attached." >> $ERRORLOG
         echo "[...]" >> $ERRORLOG
         tail -3 $TESTLOG >> $ERRORLOG