# HG changeset patch
# User isatest
# Date 1114859378 -7200
# Node ID 86d510b0e4b7791a3ccd677b5e0b8ee425e918a0
# Parent  8d61562244d50d56c91eaf091f317988ddd3c026
export DISTPREFIX to devel page Makefile

diff -r 8d61562244d5 -r 86d510b0e4b7 Admin/isatest-check
--- 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