JGinneken.sh File Reference

Go to the source code of this file.

Variables
	script
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null	set_variable

Variable Documentation

script

Initial value:

=${0##*/}

if [ -z $JPP_DIR ]

Definition at line 2 of file JGinneken.sh.

then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable

Definition at line 16 of file JGinneken.sh.