On Sun, 10 Oct 2004, Alasdair Allan wrote:
> setenv PATH /h/jini/jdk-1.4.2_05/bin:${PATH}
> setenv JAVA_HOME /h/jini/jdk-1.4.2_05
> setenv JDK_HOME /h/jini/jdk-1.4.2_05
> setenv STARJAVA ${JDK_HOME}/bin/java
That should be STAR_JAVA, if you don't want to use the default JDK that
most of us keep in /stardev.
Peter.
|