--- a/Admin/isatest/isatest-makedist Fri Nov 26 15:49:59 2010 -0800
+++ b/Admin/isatest/isatest-makedist Sat Nov 27 11:51:05 2010 +0100
@@ -80,7 +80,9 @@
fi
cd $DISTPREFIX >> $DISTLOG 2>&1
-$TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
+ISABELLE_DIST=`cat $DISTPREFIX/ISABELLE_DIST`
+$TAR xvzf $ISABELLE_DIST >> $DISTLOG 2>&1
+ln -sf $(basename $ISABELLE_DIST .tar.gz) Isabelle
ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.