Admin/isatest-check
changeset 15887 7dee3396d8b0
parent 14981 e73f8140af78
child 15897 86d510b0e4b7
equal deleted inserted replaced
15886:c5d873a86e0f 15887:7dee3396d8b0
    22 
    22 
    23 # canoncical home for all platforms
    23 # canoncical home for all platforms
    24 HOME=/usr/stud/isatest
    24 HOME=/usr/stud/isatest
    25 
    25 
    26 # where to find the distribution
    26 # where to find the distribution
    27 DISTPREFIX=$HOME/isadist
    27 DISTPREFIX=$HOME/tmp/isadist
    28 
    28 
    29 # mail program
    29 # mail program
    30 MAIL=$HOME/bin/pmail
    30 MAIL=$HOME/bin/pmail
    31 
    31 
    32 # where the logs are
    32 # where the logs are