equal
deleted
inserted
replaced
55 LOGS="$@"; shift "$#" |
55 LOGS="$@"; shift "$#" |
56 |
56 |
57 |
57 |
58 ## main |
58 ## main |
59 |
59 |
60 #set by configure |
|
61 AUTO_PERL=perl |
|
62 |
|
63 SESSIONS="" |
60 SESSIONS="" |
64 for LOG in $LOGS |
61 for LOG in $LOGS |
65 do |
62 do |
66 NAME="$(basename "$LOG" .gz)" |
63 NAME="$(basename "$LOG" .gz)" |
67 if [ -z "$SESSIONS" ]; then |
64 if [ -z "$SESSIONS" ]; then |
78 else |
75 else |
79 gzip -dc "$LOG" |
76 gzip -dc "$LOG" |
80 fi |
77 fi |
81 echo |
78 echo |
82 done | \ |
79 done | \ |
83 "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/keywords.pl" "$KEYWORDS_NAME" "$TARGET_TOOL" "$SESSIONS" |
80 perl -w "$ISABELLE_HOME/lib/scripts/keywords.pl" "$KEYWORDS_NAME" "$TARGET_TOOL" "$SESSIONS" |