Jpp  19.1.0-rc.1
the software that should make you happy
JCheckTriggerParameters.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 #
3 # \author mdejong
4 #
5 version=1.0
6 script=${0##*/}
7 
8 
9 if [ -z $JPP_DIR ]; then
10  echo "Variable JPP_DIR undefined."
11  exit
12 fi
13 
14 source $JPP_DIR/setenv.sh $JPP_DIR
15 
16 set_variable DEBUG 1
17 set_variable WORKDIR ./
18 
19 if do_usage $*; then
20  usage "$script (input file)+"
21 fi
22 
23 if (( $# < 1 )); then
24  fatal "Invalid number of arguments."
25 fi
26 
27 JCookie.sh
28 
29 set_array INPUT_FILES $argv[1,-1]
30 
31 for INPUT_FILE in $INPUT_FILES[*]; do
32  JCheckTriggerParameters -f $INPUT_FILE
33 done