--- a/Admin/isatest-check Sat Apr 30 03:51:50 2005 +0200
+++ b/Admin/isatest-check Sat Apr 30 13:09:38 2005 +0200
@@ -24,7 +24,7 @@
HOME=/usr/stud/isatest
# where to find the distribution
-DISTPREFIX=$HOME/tmp/isadist
+export DISTPREFIX=$HOME/tmp/isadist
# mail program
MAIL=$HOME/bin/pmail