change DISTPREFIX to not use yet another filesystem
authorkleing
Sat, 11 Oct 2008 03:54:34 +0200
changeset 28567 3caee0cd91d8
parent 28566 be2a72b421ae
child 28568 e1659c30f48d
change DISTPREFIX to not use yet another filesystem
Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Fri Oct 10 16:02:15 2008 +0200
+++ b/Admin/isatest/isatest-settings	Sat Oct 11 03:54:34 2008 +0200
@@ -22,7 +22,7 @@
 
 RUNNING=$HOME/var/running
 
-DISTPREFIX=$HOME/tmp/isadist
+DISTPREFIX=$HOME/isadist
 
 # this function avoids NFS inconsistencies with multiple writers by
 # sshing to one central machine and writing locally. There is stil a
@@ -33,4 +33,4 @@
   MSG="$1"
   TIMESTAMP="$(date)"
   echo "[$TIMESTAMP $HOSTNAME $PRG]: $MSG" | ssh $LOGSERVER "cat >> $MASTERLOG"
-}
\ No newline at end of file
+}