JFrodo.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
then usage $script< input file > [working directory] fi case set_variable	WORKDIR
&set_variable	INPUT_FILE
*fatal Wrong number of	arguments

Variable Documentation

script

Initial value:

=${0##*/}

if [ -z $JPP_DIR ]

Definition at line 2 of file JFrodo.sh.

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

Definition at line 19 of file JFrodo.sh.

then usage $script<input file> [working directory] fi case set_variable WORKDIR

Definition at line 24 of file JFrodo.sh.

& set_variable INPUT_FILE

Definition at line 25 of file JFrodo.sh.

* fatal Wrong number of arguments

Definition at line 25 of file JFrodo.sh.