| changeset 17578 | e07af5fad73f |
| parent 16618 | 27b62ff6f452 |
| child 18889 | da6e27ee69e5 |
| 17577:e87bf1d8f17a | 17578:e07af5fad73f |
|---|---|
12 MAIL=$HOME/bin/pmail |
12 MAIL=$HOME/bin/pmail |
13 |
13 |
14 MAKEDIST=$HOME/bin/makedist |
14 MAKEDIST=$HOME/bin/makedist |
15 MAKEALL=$HOME/bin/isatest-makeall |
15 MAKEALL=$HOME/bin/isatest-makeall |
16 TAR=gtar |
16 TAR=gtar |
17 CVS2CL=$HOME/bin/cvs2cl |
17 CVS2CL="$HOME/bin/cvs2cl --follow-only TRUNK" |
18 |
18 |
19 SSH="ssh -f" |
19 SSH="ssh -f" |
20 |
20 |
21 ## diagnostics |
21 ## diagnostics |
22 |
22 |