8 # ------------------------------------------------------------------------------------------ 
   10 #                         Utility script to add tabulated PDFs. 
   12 # ------------------------------------------------------------------------------------------ 
   15 if [ -z $JPP_DIR ]; 
then 
   16     echo "Variable JPP_DIR undefined." 
   21 source $JPP_DIR/setenv.sh $JPP_DIR
 
   25 if ( do_usage $* ); 
then 
   33 if ( ! reuse_file ${
PDF/\%/1001} ); 
then 
   42 if ( ! reuse_file ${
PDF/\%/1003} ); 
then 
   51 if ( ! reuse_file ${
PDF/\%/1005} ); 
then 
void set_variable(const std::string &name, const std::string &value)
Set environment variable. 
 
then usage $script< detector file >< inputfile >< outputfile > fi case set_variable PDF
 
then fatal Wrong number of arguments fi set_variable DETECTOR $argv[1] set_variable INPUT_FILE $argv[2] eval JPrintDetector a $DETECTOR O IDENTIFIER eval JPrintDetector a $DETECTOR O SUMMARY source JAcoustics sh $DETECTOR_ID CHECK_EXIT_CODE typeset A TRIPODS get_tripods $WORKDIR tripod txt TRIPODS for EMITTER in