# HG changeset patch
# User kleing
# Date 1222812591 -7200
# Node ID a978bd4d956ed046433887a711eb63f7193ff3fe
# Parent  32bb6b4eb39094798188aed026456d299cc33e25
extract Isabelle dist name correctly

diff -r 32bb6b4eb390 -r a978bd4d956e Admin/isatest/isatest-check
--- a/Admin/isatest/isatest-check	Tue Sep 30 23:31:40 2008 +0200
+++ b/Admin/isatest/isatest-check	Wed Oct 01 00:09:51 2008 +0200
@@ -97,7 +97,7 @@
 # generate development snapshot page only for successful tests
 # (failures in experimental sessions ok)
 if [ "$FAIL"=="0" -a "$(echo $ERRORDIR/isatest*[^e].log)" == "$(echo)" ]; then
-  (cd $HOME/devel-page; env DISTNAME=`$DISTPREFIX/Isabelle/bin/isatool version` make)
+  (cd $HOME/devel-page; env DISTNAME=`$DISTPREFIX/Isabelle/bin/isatool getenv ISABELLE_IDENTIFIER` make)
   echo "$(date) $HOSTNAME $PRG: generated development snapshot web page." >> $MASTERLOG
 fi