> > 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.
Funny you should say that there seems to be both usages floating around,
which is why I'd only had STARJAVA set rather than STAR_JAVA. Sure enough
setting STAR_JAVA fixes the problems I was having. So I'm now running with
both set.
The thing about standards is that there are so many to choose from... :(
Al.
|